_sphinx_search_page creates Duplicate page title in GWT

Google Webmaster Tools reports (correctly) search pages as duplicate (formerly: "Pages with duplicate title tags" ), which is obviously something we really don't want for your website.

My best solution here would be adding a dynamic title as:

drupal_set_title (nu_t("Found ") ." "  . $results[0]['total_found']   . " ". nu_t("marching") ." ".arg(2) );

at the very end of _sphinx_search_page, for a more interesting title page.
Example:
Found 1 marching sphinx for drupal