Fixed inconsistency in example