Fixes issue with CodeMirror and Firefox