svn-develop
1d092de4 · Fix some doc typos as reported by Michel Morin. (fixes #9209) ·