Some more fixes for classical lec09