A few more changes on lecture 07