fix mistake in doxygen comment