Merge pull request #11 from bangerth/fixes

Style and documentation fixes