fix a few typos and formatting inconsistencies