Updates from my notes at the Dec 2013 course.