What's the issue here? As long as she paid what was stated on the receipt, I doubt the server was punished; this is likely a mistake that was overlooked and undetected. Count it as a bit of luck and move on