Documentation improvements for section 6.1