fixing more isabelle mode...