Minor updates to Sections 3-5