This is consistent with the notification when the widget changes by clicking. As far as I can tell, that notification was added shortly before mouse wheel handling was added. It missing from the mouse wheel handler was presumably just an oversight.