Fixing simple typo in comment (not document)

[brettcannon]

@methane

I think we had not accepted this kind of pull requests to avoid git log going messy.

No, we have always accepted PRs that fix comments, including ones that fix a typo.