That’s a good thing for U.S. drivers who have been getting cheaper gas.