absurdly minor typo fix

Absurdly minor typo fix that is much shorter than this pull request comment.