Minor changes to Section 1.