fix typo

Tiny pull requests.