Fix some minor typos
Consistency change in the documentation
Merge pull request #8636 from sylvestre/develop

Fix some minor typos