Minor updates to Mike's notes to run as a talk.