Minor style fixes.
Merge pull request #163 from bangerth/const-fixes

Minor style fixes.