Water pump pulley

I was changing out my water pump today and noticed that the water pump pulley was slightly out of round. Looked as if someone had previous used the back hollow of the pulley as a leverage point to pry something else off with a screwdriver. Screwdriver probably made this wee dent on the pulley.

Is this a concern? Should I replace it? It's just barely dented outward.

1987XJ 4.0L w serpentine belt.

I would probably replace it, but check the condition of your serp belt. If there's no visible deterioration on the edge of the belt and it doesn't visibly wobble at the pulley when the dented section comes around, you're probably safe to leave it.