Documentation improvements for section 6