jQuery UI 1.7.2 not ready for jQuery 1.4? There seems to be a bug when you use them together.