Fixes #1126 (search broken by jQuery UI upgrade)