Some tiny typos
Fix typos.