Clarify documentation.
Merge pull request #288 from bangerth/clarify-documentation

Clarify documentation.