small mistake in this example, fixed