Fix a typo

No functional change.