Correcting verification