Can't delete badge if a user has it as their title badge

[pfaffman (Jay Pfaffman)]

That gives me two users.
Then I

delete  FROM user_profiles where granted_title_badge_id = 118;

and then I could delete the badge.

My problem appears to be solved, at least for this badge.

But shouldn’t deleting the badge do this? Now it seems more like a