Fix formatting in Section 1.