Fix a small typo, NFC