It’s kind of a bummer, because it would have been amusing to see how the bad this would have made the Republicans look.