Fix mistake in example