INST: small fix