Fix a typo in document