updating codemirror broke hover (fixes #56)