CS 240 [January 17, 2013]: fixed typo in section 4.3.