small changes to section 1.2