Very minor: casting DS --> Schedule to be sure it is correct as per ifc