Correction modules declaration