Fixed typo in Section 7.3.