Documentation improvements for section 6
Documentation fixes in sections 4, 5, 7 and 9