Iran Is Patching the Leaks — and Pushing Oil Higher