corrected doMigrations to update migration version inside a single transaction; updated USpec