be used after leaving the scope (which was a bug).

It is surprising that this worked as much as it has.