Fix typo in lecture 5 notes.