--- sites/all/modules/workspace/workspace.module.old	2007-11-05 08:46:11.000000000 -0600
+++ sites/all/modules/workspace/workspace.module	2008-08-14 13:29:52.000000000 -0500
@@ -120,8 +120,10 @@ function workspace_configure_form() {
 }
 
 function workspace_configure() {
+	global $user;
   $output = drupal_get_form('workspace_configure_form');
-  drupal_set_title(t('Workspace : %username', array('%username' => $user->name)));
+  $title = t('Workspace') . ' : ' . $user->name;
+  drupal_set_title($title);
   return $output;
 }