--- faceted_search/faceted_search.module 2009-03-03 13:13:12.000000000 +0800 +++ faceted_search/faceted_search.new.module 2009-10-12 13:29:49.420908900 +0800 @@ -533,7 +533,7 @@ function theme_faceted_search_keyword_or foreach ($keywords as $index => $keyword) { $keywords[$index] = check_plain($keyword); } - return implode(' OR ', $keywords); + return implode(' ' . t('OR') . ' ', $keywords); } function theme_faceted_search_keyword_not_label($keyword) {