Update to start of lecture 9