diff -r 4cc2fe62f7c3 -r d01d4c0c4b44 doc-src/Ref/syntax.tex
--- a/doc-src/Ref/syntax.tex	Wed May 07 16:26:28 1997 +0200
+++ b/doc-src/Ref/syntax.tex	Wed May 07 16:29:06 1997 +0200
@@ -813,7 +813,7 @@
       if 0 mem (loose_bnos B) then
         let val (x', B') = Syntax.variant_abs' (x, dummyT, B) in
           list_comb
-            (Const (q, dummyT) $ Syntax.mark_boundT (x', T) $ A $ B', ts)
+            (Const (q,dummyT) $ Syntax.mark_boundT (x', T) $ A $ B', ts)
         end
       else list_comb (Const (r, dummyT) $ A $ B, ts)
   | dependent_tr' _ _ = raise Match;