Fix small inconsistency in example.