fix INST