Fixed include error in classical lec07