diff --git modules/system/system.module modules/system/system.module
index e134788..16312e7 100644
--- modules/system/system.module
+++ modules/system/system.module
@@ -1190,6 +1190,9 @@ function system_library() {
     'js' => array(
       'misc/jquery.form.js' => array(),
     ),
+    'dependencies' => array(
+      array('system', 'jquery.cookie'),
+    ),
   );
 
   // jQuery BBQ plugin.
diff --git modules/user/user.admin.inc modules/user/user.admin.inc
index 87fd06e..56e23dd 100644
--- modules/user/user.admin.inc
+++ modules/user/user.admin.inc
@@ -99,7 +99,7 @@ function user_filter_form() {
     );
   }
 
-  drupal_add_js('misc/form.js');
+  drupal_add_library('system', 'drupal.form');
 
   return $form;
 }
