Typo in lecture4.html