The non-joke version of this is that he stopped selling oil for dollars. Yes, he used the petro for that among others, but the result would have been the same if he was selling for BTC.