more fixes for Doxygen