Well, if a judge ruled that a software bug means that you don’t get your money back if you accidentally send it out, then that same judge would probably rule that the inmates have to stay in jail due to a software bug.
Aside: The difference in the Citibank case is that the money was actually owed. Citibank was in the process of trying to get out of paying it when they sent payment.
