Small cosmetic changes to section 6.