bit more on INST_TYPE_correct