Added specifications for runMigration