bugfix in searcher.java