A few small edits/corrections/notes