typo fixes through section 4.3