Various Doxygen fixes.