Updates to Section 4.3.