minor changes in section 4