Fix a typo

Let's not mislead readers :)