Ah, that actually makes more sense, thanks raymondu.
So Vettel basically had a fast in-lap, and Lewis had a safety-car-slow out-lap, so that when Vettel came out of the pits, Button had come back round past, but Hamilton didn’t make it, and lost a place. Any idea what the margin was there? (How far back Ham was from the pit exit?)