normalize whitespace
diff --git a/Doc/tools/rewrite.py b/Doc/tools/rewrite.py
index f2c1b80..1acdd99 100644
--- a/Doc/tools/rewrite.py
+++ b/Doc/tools/rewrite.py
@@ -19,7 +19,7 @@
             date = time.strftime("%B %d, %Y", time.localtime(time.time()))
         d["DATE"] = date
     return d
-    
+
 
 def main():
     s = sys.stdin.read()