Fix typo pointed out by andytuba.