--- a/web/data/cubicweb.widgets.js	Fri Jul 17 16:50:50 2009 +0200
+++ b/web/data/cubicweb.widgets.js	Fri Jul 17 19:48:04 2009 +0200
@@ -184,8 +184,7 @@
 Widgets.TreeView = defclass("TreeView", null, {
     __init__: function(wdgnode) {
 	jQuery(wdgnode).treeview({toggle: toggleTree,
-				  prerendered: true
-				 });
+				  prerendered: true});
     }
 });