minor Lecture5 updates