Hello and ui.slider

Hi,
I've just started using jQuery UI (specifically the slider component) and
I've noticed a couple of issues. I put a bug in Trac for the first one and
wrote a patch:
http://dev.jqueryui.com/ticket/4387
Is this useful?
Cheers,
Kelvin :)