diff --git a/HISTORY b/HISTORY
index 67111e26601b0e760523388e19c599bd6530f825..4ed8584b539e57867069d78257316df2cc9abbf6 100644
--- a/HISTORY
+++ b/HISTORY
@@ -1,7 +1,7 @@
   ------------------------------------------------------------------------
                                 Release 7.1.3
   ------------------------------------------------------------------------
-
+ 
 
 Release 7.1.3  (2001-08-15)