Index: doc/generic_types/generic_types.tex
===================================================================
--- doc/generic_types/generic_types.tex	(revision 36e05a2da4315d4bdb924d9f8a099da1bd00cd9f)
+++ doc/generic_types/generic_types.tex	(revision 8396044dbdbe93e1498949c9c4f4104fce07296d)
@@ -214,5 +214,5 @@
 Hence, programmers can easily form new local environments to maximize reuse of existing functions and types.
 
-Finally, variables may be overloaded:
+Finally, \CFA allows variable overloading:
 \lstDeleteShortInline@
 \par\smallskip
@@ -263,7 +263,7 @@
 forall( otype T | summable( T ) )
   T sum( T a[$\,$], size_t size ) {
-	T total = { 0 };						$\C{// instantiate T from 0}$
+	`T` total = { `0` };					$\C{// instantiate T from 0}$
 	for ( unsigned int i = 0; i < size; i += 1 )
-		total += a[i];						$\C{// select appropriate +}$
+		total `+=` a[i];					$\C{// select appropriate +}$
 	return total;
 }