CS 360: fix typo in November 12, 2013 lecture.