Truthfully, I almost dropped that same infraction for that post, but lost track of what I was doing. Darn work getting in the way of moderating. A lot of times, I know I see the posts and don't even look at who made the post. I tend to not even look at the user names if I'm checking to see if something is a first-time thing or something where there's a history.
Like USAFWD said, drop a report for stuff like that, let it get cleaned up, and that's the best way to deal with the trolls out there.