Various tidy-ups to Doxygen markup.