minor changes in section 3.2.1