minor tweaks for lecture