Fixing up the anaphoric shadowing example