This isn't a case of slot machines where they got the logic for the house edge wrong. This is a case of double redeeming winnings because the machine would give you your winnings but not mark the ticket as redeemed.