--- devel.module.orig	2010-11-10 13:24:40.000000000 -0500
+++ devel.module	2010-11-10 13:25:09.000000000 -0500
@@ -696,7 +696,7 @@ function devel_switch_user_list() {
     }
     foreach ($users as $user) {
       $links[$user->uid] = array(
-        'title' => drupal_placeholder(array('text' => $user->name)),
+        'title' => drupal_placeholder($user->name),
         'href' => 'devel/switch/'. $user->name,
         'query' => $dest,
         'attributes' => array('title' => t('This user can switch back.')),