Correct a tiny mistake.