Fix typo in the documentation.