Minor edits to sections 3.8 to 3.10