fix a typing mistake in the example