Fix two minor documentation mistakes.
Merge pull request #232 from bangerth/doc-fixes-10

Fix two minor documentation mistakes.