CodeMirror: Bugfix from report (New file)