Fixes to section 4