Fix doxygen error