Minor update for intro lecture