Fixes in options, hotkeys and viplist