Just a description of a couple of bugs in INST I found