Doxygen bug fixed