Minor tidy-ups in Doxygen markup.