Fix warning in basicTypes/NewDemand