small Lecture4 updates