small fixes for doxygen