Fixed some bugs in channel highlighting and user/channel menu.