edits to lec 06