minor formatting cleanup and typo fixes