obvious typos and simple copy-editing fixes

Additionally, section 4.2.3 contains a lot of text that is similar to 4.2.2, but there may be a reason for that.