correction of types