Updates to Section 4.2.