diff -r 00eb43688a57 -r 22f634977c95 web/views/basetemplates.py
--- a/web/views/basetemplates.py	Mon Mar 23 18:53:53 2009 +0100
+++ b/web/views/basetemplates.py	Wed Mar 25 10:40:22 2009 +0100
@@ -297,7 +297,7 @@
         req = self.req
         pid = make_uid(id(req))
         req.pageid = pid
-        req.html_headers.define_var('pageid', pid);
+        req.html_headers.define_var('pageid', pid)
 
 
 class HTMLPageHeader(View):