doxygen minor fixes