Corrected a mistake in an example