Fix typo in documentation.