I recently upgraded from 14 -> 15 the apt way, and since then I have noticed that in mintmenu, as long as it is in favorite menu, the first key I press achieves nothing other than dismissing the favorites menu. i.e If i press Super and search for "Applications", I actually end up searching for "pplications". Is this expected behavior? Sounds like a bug. If so is it due to my upgrade process?