Not gonna argue over this, just gonna say, if he was out, and he was, and called safe, which he was, that's precisely what replay was intended to fix.
"Out by a little bit" is out. Overslid the bag is overslid the bag.
They can fix improper fair/foul calls too.