Fix a bug in synchronization of remote codemirror instances