Fix the description of a parameter.
Merge pull request #48 from bangerth/fixes

Fix the description of a parameter.