Fix a typo in lecture 09