fix display of output for isabelle