search index duplicates no longer get confused (fix #22)