Better document a field.
Merge pull request #183 from bangerth/doc-fixes-3

Improve the documentation in one place.