fix typo

do we need to go through the PR process for changes which are this simple and straightforward?