Fix a trivial typo

I don't even know...