correct type variables