minor edits to Lecture1