Updates before lecture 10