Fix doxygen documentation