Correction of typing