Make minor changes to migrate

These changes should not affect migration at all.
I vaguely recall some weirdness where you have to `window.GlobalThing` for Opera12 to work.  It might be incorrect.