Fix jquery.ui definitions