--- shortcut.module.orig	2008-10-08 21:49:30.000000000 +0000
+++ shortcut.module	2008-10-09 11:46:24.000000000 +0000
@@ -274,7 +274,7 @@ function theme_shortcut_admin_list($shor
         . l(t('Remove'), 'node/' . $shortcut['nid'] . '/delete', drupal_get_destination())
       );
   }
-  $output = l(t('Add a new shortcut'), 'node/add/shortcut', drupal_get_destination());
+  $output = l(t('Add a new shortcut'), 'node/add/shortcut', array(drupal_get_destination()));
   $output .= theme('table', $headers, $rows, array('class' => 'shortcut_admin_list'));
   return $output;
 }