4 digit channel numbers getting chopped off

Is anyone talking about this re: the new Krypton skin? I use the channel numbers from the backend and, on Comcast, nearly all my HD channels are 4 digits. So you get a long list of channels in the guide like this:

10..
10..
10..
10..
10..
10..

Not very helpful. Is there an option I’m missing?

Thanks