Fixed a typo in the wrong branch, and it's going to be a while before lecture-2013-03-28 gets merged into master.