Minor changes to section 4.5.1