Minor tweaks to section 6