The real reason US oil production is down.