Fix simple mistake in example