small changes in section 4.1