Updated some notes from lecture 1.