Fix a typo

See title