Use old (working) version of codemirror
Fix some typos