fix typos in lec 9 PDFs