Fix problematic doxygen markup.
Merge pull request #261 from bangerth/fix-doc

Fix problematic doxygen markup.