Small edits to Section 5.2