a fix for IE and codemirror