Doxygen fixups