Fix inst.ml