as bitinity stated , when it comes to sports the provider is the one responsible of fixing such errors not the site itself and when such errors happen they will happen in all the sites that use betradar as a provider
I guess if stake fixes the error by their own and credit the players then the provider may credit them once again resulting players get double paid
similar thing happened with me in cloudbet with an esport game and I got pretty much the same answer , then it was fixed by its own the next day