CodeMirror: Source-code syntax fixes