small modifications in section 5