Fix a tiny typo.