Minor changes to Section 3.3