Fix proc-inst.