correct typo in lecture 23