--- common.inc.back	2008-10-21 12:57:57.000000000 -0400
+++ common.inc	2008-10-21 12:57:20.000000000 -0400
@@ -781,7 +781,7 @@
   elseif (function_exists('locale') && $langcode != 'en') {
     $string = locale($string, $langcode);
   }
-  if (empty($args)) {
+  if (empty($args) || !is_array($args)) {
     return $string;
   }
   else {