bug fixes in searcher.py