Fixed a mistake in the example