That's not what karma is, but a lot of people misuse the term. (It's about your NEXT life.) "Getting what he deserved" is a good term. It's nice that you got to see it. I think that happens a lot, but we never find out about it.