Fix a bug with ACE editor synchronization