diff --git a/doc/source/conf.py b/doc/source/conf.py
index 5a9e2309e163bfc1811c29a95805cb6f3e9a85ac..2594e393cc92bfdaac13d2a748390a0b182fce3e 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -11,7 +11,7 @@
 # All configuration values have a default value; values that are commented out
 # serve to show the default value.
 
-import sys, os
+#import sys, os
 
 # If your extensions are in another directory, add it here. If the directory
 # is relative to the documentation root, use os.path.abspath to make it
@@ -99,8 +99,9 @@ else:
     # further.  For a list of options available for each theme, see the
     # documentation.
     html_theme_options = {
-            'navbar_fixed_top': "true",
-            'navbar_class': "navbar navbar-inverse",
+            "navbar_fixed_top": "true",
+            "navbar_class": "navbar navbar-inverse",
+            "navbar_site_name": "Contents",
             }
 
 # The style sheet to use for HTML and HTML Help pages. A file of that name
diff --git a/doc/source/misc.rst b/doc/source/misc.rst
index 76387486f9b77b8acd680159e67b0642f21c8eaf..c65b5be15971aac2cf53d250c11e28da520b54f1 100644
--- a/doc/source/misc.rst
+++ b/doc/source/misc.rst
@@ -294,12 +294,12 @@ Version 0.90
 
 .. _license:
 
-Licensing
-=========
+License
+=======
 
 PyOpenCL is licensed to you under the MIT/X Consortium license:
 
-Copyright (c) 2009-11 Andreas Klöckner and Contributors.
+Copyright (c) 2009-13 Andreas Klöckner and Contributors.
 
 Permission is hereby granted, free of charge, to any person
 obtaining a copy of this software and associated documentation