Edits to lecture 3c