Fix a typo pointed out by Alex McNeil.