Correct. And yes, it's awful.
I've fortunately never had this situation with a red, but in one of the rare double-headers I have done, I booked someone in the first game and then when I also booked him in the second game, went as far as showing the red card before realising the first yellow...