Some fixes in Section 5