Misc fixes, typos.