A few small edits on the seminar presentation.