Fixed tiny but distracting typo.