Fixed a mistake in example