Fix a typo spotted by a reader