Improve language of sections 6 and 7