minor corrections to section 4