Fixed bug in section 4.3.1.