diff --git a/Tools/msi/msi.py b/Tools/msi/msi.py
index ce67978f505..695a103380d 100644
--- a/Tools/msi/msi.py
+++ b/Tools/msi/msi.py
@@ -122,9 +122,7 @@ pythondll_uuid = {
     } [major+minor]
 
 # Compute the name that Sphinx gives to the docfile
-docfile = ""
-if int(micro):
-    docfile = micro
+docfile = micro
 if level < 0xf:
     if level == 0xC:
         docfile += "rc%s" % (serial,)