Minor edits to section 5