Fix handling of mousewheel (broken by recent update of jQuery)