Minor improvements to Section 6.