MySQL Workbench Synchronization False Positives
Probably a bug. Some of the change detection is not catching this specific case (or interpreting it wrongly). Best is to file a bug report (http://bugs.mysql.com).