Minor type error fix that I made a long time ago but forgot to commit