Fix a mistake in the example (thanks Kyle!)