Miscellaneous doxygen fixes