Fix doxygen warning