Correction in verification