Fix typo in the documentation