Yeah. Red should be blue and blue should be red. Parties of the left have always been blue until the 2000 election. Unfortunately, we’re stuck now with red = Republican, blue = Democrat.
That’s why it should be corrected at every turn.
Then again, with the GOP being what it is these days, the Democrats should be blood red and the GOP should be pinkish red. Only the Cruz wing is Conservative Blue.