Minor style fix to /dexsearch