Index: doc/bibliography/cfa.bib
===================================================================
--- doc/bibliography/cfa.bib	(revision 2ca35b110e276c9f4e3132f8fe17bfabf0a643ed)
+++ doc/bibliography/cfa.bib	(revision 036895e5fb641058a83f71934ff4f32d4f26424d)
@@ -3650,5 +3650,5 @@
     contributer	= {pabuhr@plg},
     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley},
-    title       = {{Java} Language Specification},
+    title       = {{Java} Language Spec.},
     organization= {Oracle},
     publisher	= {Oracle},
Index: doc/generic_types/evaluation/timing.gp
===================================================================
--- doc/generic_types/evaluation/timing.gp	(revision 2ca35b110e276c9f4e3132f8fe17bfabf0a643ed)
+++ doc/generic_types/evaluation/timing.gp	(revision 036895e5fb641058a83f71934ff4f32d4f26424d)
@@ -1,5 +1,5 @@
 # set terminal pdfcairo linewidth 3 size 6,3
 # set output "timing.pdf"
-set terminal pslatex size 6.25,2.25 color solid
+set terminal pslatex size 6.25,2.125 color solid
 set output "timing.tex"
 
Index: doc/generic_types/generic_types.tex
===================================================================
--- doc/generic_types/generic_types.tex	(revision 2ca35b110e276c9f4e3132f8fe17bfabf0a643ed)
+++ doc/generic_types/generic_types.tex	(revision 036895e5fb641058a83f71934ff4f32d4f26424d)
@@ -1023,5 +1023,6 @@
 \section{Related Work}
 
-% \subsection{Polymorphism}
+
+\subsection{Polymorphism}
 
 \CC is the most similar language to \CFA;
@@ -1041,13 +1042,13 @@
 In \CFA terms, all Cyclone polymorphism must be dtype-static.
 While the Cyclone design provides the efficiency benefits discussed in Section~\ref{sec:generic-apps} for dtype-static polymorphism, it is more restrictive than \CFA's general model.
-\citet{Smith98} present Polymorphic C, an ML dialect with polymorphic functions and C-like syntax and pointer types; it lacks many of C's features, however, most notably struct types, and so is not a practical C replacement.
+\citet{Smith98} present Polymorphic C, an ML dialect with polymorphic functions and C-like syntax and pointer types; it lacks many of C's features, however, most notably structure types, and so is not a practical C replacement.
 
 \citet{obj-c-book} is an industrially successful extension to C.
 However, Objective-C is a radical departure from C, using an object-oriented model with message-passing.
-Objective-C did not support type-checked generics until recently \citep{xcode7}, historically using less-efficient runtime checking of object types.
+Objective-C did not support type-checked generics until recently \citet{xcode7}, historically using less-efficient runtime checking of object types.
 The~\citet{GObject} framework also adds object-oriented programming with runtime type-checking and reference-counting garbage-collection to C;
 these features are more intrusive additions than those provided by \CFA, in addition to the runtime overhead of reference-counting.
 \citet{Vala} compiles to GObject-based C, adding the burden of learning a separate language syntax to the aforementioned demerits of GObject as a modernization path for existing C code-bases.
-Java~\citep{Java8} included generic types in Java~5 which are type-checked at compilation and type-erased at runtime, similar to \CFA's.
+Java~\citep{Java8} included generic types in Java~5, which are type-checked at compilation and type-erased at runtime, similar to \CFA's.
 However, in Java, each object carries its own table of method pointers, while \CFA passes the method pointers separately to maintain a C-compatible layout.
 Java is also a garbage-collected, object-oriented language, with the associated resource usage and C-interoperability burdens.
@@ -1063,5 +1064,6 @@
 \CFA, with its more modest safety features, allows direct ports of C code while maintaining the idiomatic style of the original source.
 
-% \subsection{Tuples/Variadics}
+
+\subsection{Tuples/Variadics}
 
 Many programming languages have some form of tuple construct and/or variadic functions, \eg SETL, C, KW-C, \CC, D, Go, Java, ML, and Scala.