Fix global variable namespace leak.

Now that Proof performs global variable namespace leak detection, I've
detected this leak.