isabelle fixes