Minor documentation fixes.
Merge pull request #80 from bangerth/doc-fixes-6

Minor documentation fixes.