Some more fixes to Section 4