Index: doc/generic_types/generic_types.tex
===================================================================
--- doc/generic_types/generic_types.tex	(revision a357b4cb0c03dfeb20c60e0c9b2baf3d53da375d)
+++ doc/generic_types/generic_types.tex	(revision bbc9b64417cabe9fe9db04426c005e6b228f320d)
@@ -222,5 +222,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
@@ -271,7 +271,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;
 }