Sorry, I always target healers all game. Its practically my job since no one else does it. I do kill bad holy paladins and that's why I'll always target any healer. The good healers will do what you do, but my objective to kill didn't succeed. However, I'm satisfied to know that I put enough pressure on them to make them flee.