Tags: certification of corrected defects