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

Fix the description of a parameter.
Merge remote-tracking branch 'geodynamics/master' into introspection_patch