Minor documentation fixes.
Merge pull request #1297 from pezia/master

Minor documentation fixes