Minor type correction