doc: fix a typo
Merge pull request #2258 from certik/doc_fix

doc: fix a typo