Index: doc/rob_thesis/intro.tex
===================================================================
--- doc/rob_thesis/intro.tex	(revision f5abbd772f259b22742259688a5c97773a5b9693)
+++ doc/rob_thesis/intro.tex	(revision ade20d0d432fff8119b549cccd88e03774188486)
@@ -3,5 +3,5 @@
 %======================================================================
 
-\section{\CFA Background}
+\section{\protect\CFA Background}
 \label{s:background}
 \CFA \footnote{Pronounced ``C-for-all'', and written \CFA or Cforall.} is a modern non-object-oriented extension to the C programming language.
@@ -370,5 +370,5 @@
     \end{tabular}
   \end{center}
-  \caption{\label{table:types} The different kinds of type parameters in \CFA}
+  \caption{\label{table:types} The different kinds of type parameters in \protect\CFA}
 \end{table}
 
Index: doc/rob_thesis/thesis.tex
===================================================================
--- doc/rob_thesis/thesis.tex	(revision f5abbd772f259b22742259688a5c97773a5b9693)
+++ doc/rob_thesis/thesis.tex	(revision ade20d0d432fff8119b549cccd88e03774188486)
@@ -66,4 +66,5 @@
 % ,monochrome % toggle black and white mode
 }{xcolor}
+\PassOptionsToPackage{pdftex}{graphicx}
 \documentclass[letterpaper,12pt,titlepage,oneside,final]{book}