Minor doxygen comment fix