Thumper, where there is a slight technical error is on the C#.
The same thing has happened in with the G#7, where the 3 should be B#, not C.
Double flats are even more weird.
I have to say that in my mind when playing, I treat B# as C, Cb as B, and so on.
Perhaps I'll eventually get used to the proper spellings.