I'm for a total caveat emptor. Any bed due to a bookie error stays. Any bet due to a player error stays.
Edit: However, business wise, that's the worst case for both - big players will hit bookies on errors and they will lose money, recreational players will changes books pissed off cause they couldn't get that 10 bucks wager refunded....and books again will lose money.