small mistake in example