Documentation and comments: typo fix
Merge pull request #661 from DavidPrevot/typo

Documentation and comments: typo fix