Correction modulo