Improve dexsearch

Various minor style changes