Fix typo in the description.

(Spotted by Mike Gordon.)