Fix link to lecture1.pdf