fixed isabelle loading of maps