Plumber fixed a pinhole leak. I'm confused.

I noticed a pinhole leak on this pipe last night, and this was the plumbers fix today.

I noticed a pinhole leak on this pipe last night, and this was the plumbers fix today.