Remove an obscure comment that does not enlighten anything at all.
Merge pull request #112 from bangerth/doc-fixes-7

Remove an obscure comment that does not enlighten anything at all.