a few more revisions to lecture notes