Bugfix inside frontend.function.php for (missing) search_highlight.