Some final tweaks to the first lecture