oops, codemirror mistake