Fixed small bugs in searcher and misc.search