check_no_migration is fixed