Some simplifications of jQuery UI sliders