Fix a mistake in example