--- a/web/views/wdoc.py	Tue Sep 15 17:10:58 2015 +0200
+++ b/web/views/wdoc.py	Fri Sep 18 14:29:53 2015 +0200
@@ -73,7 +73,7 @@
 
 def build_toc(config):
     alltocfiles = reversed(tuple(config.locate_all_files('toc.xml')))
-    maintoc = parse(alltocfiles.next()).getroot()
+    maintoc = parse(next(alltocfiles)).getroot()
     maintoc.parent = None
     index = {}
     build_toc_index(maintoc, index)