minor type correction