Next time you tip, inform your server that it has nothing to to with their performance, you're actually just adding what they would have made if they were paid appropriately to the base price.
edit: I'm not being facetious, I have added 20% no matter what for at least 20 years. I've tipped servers that I'm pretty sure I hated.