minor fix to jquery ui