Fixes for doxygen