small fix in doxygen comment