Fixes some stuff due to CodeMirror updates.