fix bugs in searcher.h