Fix typo -- though I doubt the typo mattered.