Small fix in Section 2.