--- paging.js.orig	2009-01-24 17:12:52.000000000 +0100
+++ paging.js	2009-04-17 10:36:22.000000000 +0200
@@ -33,7 +33,7 @@ function paging_handle_names(pages) {
 function paging_return_names() {
   var names = [];
   var i = 0;
-  $('#paging-page-names').find('input[@type=text]').each(function() {
+  $('#paging-page-names').find('input[type=text]').each(function() {
     names[i] = $(this).val();
     i++;
   }).parents('fieldset').remove();