fix to section 3.1