Repair bug in search.