Re: Menu item hover for jquery 1.9

Fixing hover for jquery 1.9 is actually more simple than proposed in #482.