--- js_theming.messages.js	2008-10-22 03:48:43.000000000 +0200
+++ js_theming.messages.js	2009-06-06 01:14:42.000000000 +0200
@@ -137,5 +137,5 @@
   prune: function() {
     $('.js_theming_messages .messages').remove(); /* remove DOM messages */
     this.get();   /* empty Drupal.messages.messages */
-  },
+  }
 };
\ No newline at end of file