INST: small bug