Fix Doxygen comment