Punny name headline

A headline I saw in late October, apparently provided by Dow Jones Newswires, read:

CORRECT: Microsoft Executive Is Harry Patz, Not Putz

The corrected article is titled "Wireless Carriers Target Young Texters With Latest Phones" but I was really just amused by the headline of the correction.

But is it bad form to make fun of a misspelling of someone's name? Even if I'm not making fun of the person himself? I'm not sure.