quick and dirty fix for isabelle