Correction type checking