Fix a typo spotted by Anton.