A few edits in the notes