People makes mistakes and it's ok sometimes let it go when you are not receiving a huge blow. As long as you paid the price for the food you ate it's ok but paying extra for no reason is not ok. So, I think you guys did the right thing and didn't make things difficult for her as it was unintentional mistake.