At the end of the race this is the list of tyre used in race where it shows that Butler (and Thompson) made 4 stints with S-S-S-S, but Butler actually made 1th stint with SS, not with Soft.
You can control that here:
today's Belgium iGP https://igpmanager.com/app/d=result&id=18336682&tab=race,
Butler's race: https://igpmanager.com/app/d=resultDetail&id=121330415