--- a/bp/index.html	Wed Nov 20 21:40:13 2013 +0100
+++ b/bp/index.html	Wed Nov 20 21:50:19 2013 +0100
@@ -71,7 +71,7 @@
         // document unless you know what you're doing. If in doubt ask your friendly neighbourhood
         // Team Contact.
         //wgPatentURI:  "",
-        maxTocLevel: 3,
+        maxTocLevel: 4,
         // preProcess: [ preProc, addGLDBiblio ]
         //alternateFormats: [ {uri: "diff-20110507.html", label: "diff to previous version"} ],