correct typo in lecture 20