correction of type