edits after lecture 8