Fix a typo.
Merge pull request #215 from bangerth/extend-documentation-2

Fix a typo.