Lec 7: a number of small changes