Fixed an inconsistency in an example