Fix doxygen comment