A few changes to Section 3