Fix up the new lesson added by Petr