diff --git a/doc/conf.py b/doc/conf.py
index e4233dc0ab..ea622f64cd 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -10,7 +10,8 @@
 #
 # All configuration values have a default; values that are commented out
 # serve to show the default.
-import sys, os
+import os
+import sys
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
@@ -58,7 +59,7 @@
 # built documents.
 #
 # The short X.Y version.
-version = 'dev'
+version = '5.12'
 # version = '.'.join(buildconf.VERSION.split('.')[:2])
 # The full version, including alpha/beta/rc tags.
 release = buildconf.VERSION