Some improvements to jQuery UI