Fix a typo that I accidentally introduced.