some fixes in section 4