lecture 06: fix typos