More minor doxygen fixes