Minor edits to some text.
Merge pull request #172 from bangerth/doc-fixes

Minor edits to some text.