Fix typos

Fixes a typo.