Minor fix

I forgot what I did here