As far as I'm concerned, Ferrari did the right thing in pitting Vettel first. Had they pitted Leclerc first, I they could have lost both positions to Verstappen - Leclerc's might have already been lost the moment Max came in, as pitting immediately could have easily resulted in him leaving the pits behind Max. It was just very unfortunate that nothing seemed to go his way today with the strategy, but I doubt Ferrari could have done much differently.

The team's priority cannot be to protect the driver in 4th place, but rather, to ensure that the other driver finishes on the podium.