Minor type fix.