More fixes for classical lec09