Fix a typo spotted by Adam