Changes from lecture 6