Fix a typo in lecture 07.