minor update to insts