Kodi Community Forum

Running OSMC 2018.06-1 on Raspberry Pi 3.
I've marked a channel from the Ultimo PVR service as a favorite in Kodi, it actually was the highest-numbered channel. The cable operator reorganized their channels, and now I have one less favorite channel. Thus, the channel numbering from the PVR moved one lower. Unfortunately, the "favorite" label is still there though the channel no longer exists on the PVR.
What can I do to get rid of this "ghost" favorite?

I'll just leave a note here that I was able to fix this issue by manually adding one more favorite and then removing all favorite channels. It would be nice if such "tricks" wouldn't be needed.