Small formatting stuff and typos.