Small fix (Section 3.1, etc.)