fix redeem_winnings_spec