This relates to the earlier headline here:

Oil prices have pared some of the gains from earlier on the back of the headline here but WTI is still holding above $86 currently.