NOT FOR PRODUCTION. CORRECTION DEBUG CODE