jQuery.widget: minor cleanup