Small formatting and typo changes