Minor changes to section 4.