bugfix in isabelle mode