Fix a typo found during copy editing