Fix a typo pointed out by neobrain.