Fix a few typos from last push.