fixed a problem when print insts