Minor type tweak