correct type