whitespace
diff --git a/src/tools/docmaker/sources.py b/src/tools/docmaker/sources.py
index 08f3b14..2d133c4 100644
--- a/src/tools/docmaker/sources.py
+++ b/src/tools/docmaker/sources.py
@@ -295,7 +295,7 @@
         self.lines  = []
 
         for line in fileinput.input( filename ):
-            # strip trailing newlines, important on Windows machines !!
+            # strip trailing newlines, important on Windows machines!
             if  line[-1] == '\012':
                 line = line[0:-1]