Small fixes in section 2