Various typos.