Fixing typo in the documentation