lecture: correct times