type-correction