minor mistake in example