Update lecture9.html