Another stupid typo

That I just now introduced.