fixed isabelle loading