Doxygen fixups
More minor doxygen fixes