fix mistake in example