Fix a typo in lecture 07