Fix up symbolsearch.