Minor type error