renamed the title on lecture7.jemdoc