formatting/typo fixes