--- biblio.pages.inc.orig 2009-10-07 12:33:19.000000000 +0200 +++ biblio.pages.inc 2009-10-07 12:34:09.000000000 +0200 @@ -592,7 +592,7 @@ array_shift($args); $value = db_escape_string($args[0]); if ($type == 'search') { - $search_content = ''. array_shift($args).''; + $search_content = array_shift($args); continue; } if ($type == 'term_id') { @@ -637,8 +637,9 @@ $filtercontent .= ($i++ ? t(' and %a is %b', $params) : t('%a is %b', $params)) ; } if ($search_content) { - $content .= '
'.t('Search results for ').''; + $content .= '
'.t('Search results for ').''; $content .= check_plain($search_content); + $content .= ''; if ($filtercontent) { $content .= '
'.t('Filters').': '; }