small changes in section 3.2