It’s absolutely an editorial decision, but it didn’t change the data or trends at all. All I used that for was to color some dots. Going by the Hillary/Trump map, some blue dots would have turned red. You can pick them out and recolor them yourself if you like. It’s basically Florida and the rust belt.