type correct