Fix typo in documentation.

Title says it all.