Korjauksia tarkastuslogiikkaan