Fixed nasty INFER bug