Fix a few trivial typos.