Legally they should bill you whatever you wrote in the TOTAL line (not what they think they should have been tipped). Your tip was fine anyway. You could go back via your credit card company (do you have your copy of the receipt?)