isabelle bugfix