Minor fixes to section 3