small typo fixes
a few more changes to sec 5