Fix inst.ml{,i}