A few small edits and notes.