Fix small mistake in example.