Index: doc/generic_types/generic_types.tex
===================================================================
--- doc/generic_types/generic_types.tex	(revision 0aad606e578f8a98275d294bfe7e9d68c8077660)
+++ doc/generic_types/generic_types.tex	(revision 10e0fcd56cedd501bf7d292c4fa98e4403a1e004)
@@ -823,6 +823,5 @@
 struct S { int x, y; };
 forall(otype T, ttype Params | { void print(T); void print(Params); }) void print(T arg, Params rest) {
-	print(arg);
-	print(rest);
+	print(arg);  print(rest);
 }
 void print( char * x ) { printf( "%s", x ); }
@@ -839,8 +838,7 @@
 For example, it is possible to write @new@ as a library function:
 \begin{lstlisting}
-struct pair( otype R, otype S );
-forall( otype R, otype S ) void ?{}( pair(R, S) *, R, S );  // (1)
+forall( otype R, otype S ) void ?{}( pair(R, S) *, R, S );
 forall( dtype T, ttype Params | sized(T) | { void ?{}( T *, Params ); } ) T * new( Params p ) {
-	return ((T *)malloc( sizeof(T) )){ p }; // construct into result of malloc
+	return ((T *)malloc()){ p };			$\C{// construct into result of malloc}$
 }
 pair( int, char ) * x = new( 42, '!' );