Minor fix in search engine.