fix section 5 split: sections 6 and 7 were not intended to be top-level