Fix codemirror HEAD