formatting, typo fixes