Fixed types of  DiscreteBehavior.CoolingRevisited.*