Fix typo in the document