fix a doc typo