Fixes for a few typos.