More formatting fixes up to Section 4.4