lecture 10: fix typos