Further small updates in Section 2 and 3.0