diff --git a/doc/transfer-reference.html b/doc/transfer-reference.html
index f0f1bcd89..b4045606b 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: Fri Dec  9 11:55:35 2005
+Last update: Wed Mar  1 13:50:59 2006
 </FONT></CENTER>
 
 <P></P>
@@ -226,9 +226,9 @@ argument + 1.
 To give local definition to some names, use:
 </P>
 <PRE>
-  let x1 : T1 = exp1
+  let x1  = exp1
       ...
-      xn : Tn = expn
+      xn = expn
    in exp
 </PRE>
 <P></P>