Minor documentation fixes.
Merge pull request #1115 from CoDEmanX/devel

Minor documentation fixes.