fix a typo in document