small change for inst-int