Fix typo pointed out by Jordan.