Minor tweaks to Lecture 1