Various improvements to Doxygen markup.