I would feel the same way cadam106.
Doesn't cost anything and only takes a few seconds to say "Hey, thanks a lot for catching and pointing out this mistake."
What would it have cost if you didn't bother contacting them?