Move to jQuery UI 1.10.3; fix that which broke