Minor improvements to Doxygen markup.