Make minor changes to migrate

These changes should not affect migration at all.
Should be fine unless the code expects `RESOptionsMigrate` to be a property of the global object (`window`).