Small typos

Some more of the same small typo.