Fix typo in documentation