Lec 15: fix a few typos