diff -r c791d8fddc15 -r bc6e25dbfd04 web/request.py
--- a/web/request.py	Tue Jul 02 09:35:58 2013 +0200
+++ b/web/request.py	Tue Jul 02 09:36:20 2013 +0200
@@ -922,7 +922,7 @@
         if reset_xmldecl is not None:
             warn('[3.17] reset_xmldecl is deprecated as we only serve html',
                  DeprecationWarning, stacklevel=2)
-        self.main_stream.set_doctype(doctype, reset_xmldecl)
+        self.main_stream.set_doctype(doctype)
 
     # page data management ####################################################