Make minor changes to migrate

These changes should not affect migration at all.
Let's see, do we need to add some special handling for Opera12?  @Cybershadow wwwww