Update lecture1.inc