Fix typo

I think this is a typo?