Fix a mysql-incompatible migration