minor formatting, typo fixes