Correct typo in lecture 13