Fix sloppy mistake in example