More fixes for doxygen