edit lecture: refactoring (tribial)