Fix anaphoric if example