Fix some CodeMirror stuffs