Fix generating a result-header div containing the search hit count.