(search) Woops, fix a badly rebased file