Minor alterations for jQuery UI.