CS 241 [January 14, 2013]: fixed typo.