Minor changes for new instance of lecture