Fix a typo from the previous check-in.