A sales tax snafu at Walmart meant customers were charged twice