coteditor: fix bug