fix a mistake in comment