There have been a few little quirks like this since the RSN renumbering. The renumbering was a great idea overall, I think. I suspect this will be fixed soon. I have posted before about FSOK and FSWIS having isues since the renumbering. There are cases where they "Forget" to load the SD version of the alternates, now. A friend who is SD-only missed a few games because the alternate channel wasn't there for them because of that. Since not many post about the issue, I have often wondered about how many people actually care or notice the alternates. Since FSWIS SD and FSWIS HD (and FSOK, FSSW+, Altitude-alt, MASN) sometimes have alternate programming that is SD-only, I don't think they should give FSOK and FSOKHD the same channel number so that they will always both appear.
If you have a 5-LNB dish in the market next to me, you get two channel 8's (WGHP and WRIC). In that market, if you type channel "8" manually, it always goes to WGHP. I suspect that means that if two channels have the same number, it selects the name that is alphabetically first, which is why the alternate appears when you manually type.