More minor changes to Section 3