Fix a typo in lecture 16