Mistake in comment corrected