Small fix in Section 3.