Fix lecture typos.