Edits to lectures 1c, 1t