Style fixes.
More style fixes.
Simplify some code. More style fixes.
Style fixes.
More style and documentation fixes.
Merge pull request #11 from bangerth/fixes

Style and documentation fixes