Small formatting and typo fixes.