Update comments in a couple of places.
Merge pull request #231 from bangerth/doc-update

Update comments in a couple of places.