Minor fixes on the first lecture.