Sorry I didn't explained myself properly. I meant Tasty Menu, not Mint Menu. Well, in the end Tasty Menu is a Mint Menu.
I found that this "problem" that I mention here happens also with 3.5.9 and 4.0.2 (Kubuntu), although with minor consequences.
I'm looking forward for Mint 5 Kde 4.