codemirror bugfix