Minor mistake in comment corrected