MySQL Workbench Synchronization False Positives

I have synchronized a table between a model and a live server database in Workbench, but every time I rerun the "Synchronize With Any Source..." wizard, Workbench detects (falsely) that there is a difference between the model and the server for that table and wants to execute the exact same SQL query. The SQL in this case is the following: ALTER TABLE mydb.user_info CHANGE COLUMN last_update last_update DATETIME NULL DEFAULT CURRENT_TIMESTAMP ON UPDATE CURRENT_TIMESTAMP This statement has already been executed in my first run of the Wizard, and I can see that the table user_info is up to date on the live server. Why does it keep detecting it as a difference? Is it a known bug with MySQL Workbench or something...?