diff --git a/doc/transfer-reference.html b/doc/transfer-reference.html
index b4045606b..d858b1c06 100644
--- a/doc/transfer-reference.html
+++ b/doc/transfer-reference.html
@@ -8,7 +8,7 @@
 <P ALIGN="center"><CENTER><H1>Transfer language reference</H1>
 <FONT SIZE="4">
 <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
-Last update: Wed Mar  1 13:50:59 2006
+Last update: Wed Mar  1 13:52:22 2006
 </FONT></CENTER>
 
 <P></P>
@@ -226,7 +226,7 @@ argument + 1.
 To give local definition to some names, use:
 </P>
 <PRE>
-  let x1  = exp1
+  let x1 = exp1
       ...
       xn = expn
    in exp
diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt
index 07204ce8e..143780381 100644
--- a/doc/transfer-reference.txt
+++ b/doc/transfer-reference.txt
@@ -158,7 +158,7 @@ argument + 1.
 To give local definition to some names, use:
 
 ```
-let x1  = exp1
+let x1 = exp1
     ...
     xn = expn
  in exp