Doxygen typo