diff --git a/docs/generate-benchmark-list.py b/docs/generate-benchmark-list.py
index 72064f41c..2cdcbcee1 100755
--- a/docs/generate-benchmark-list.py
+++ b/docs/generate-benchmark-list.py
@@ -72,7 +72,7 @@ def main():
                     tags_taggroups[bmark][k].append(t)
         main[bmark] = tags_taggroups[bmark]
 
-    check_dir="tmp"
+    check_dir = "tmp"
     if os.path.isdir(check_dir):
         shutil.rmtree(check_dir)