Index: doc/theses/fangren_yu_COOP_F20/Report.tex
===================================================================
--- doc/theses/fangren_yu_COOP_F20/Report.tex	(revision 1dfe6a6359e3613db1b1b204a4c885cc98c942fe)
+++ doc/theses/fangren_yu_COOP_F20/Report.tex	(revision 101cc3a29a08b58b2758cf5580c8be623a83daff)
@@ -513,4 +513,5 @@
 The \CFA team are planning on a public alpha release of the language as the compiler performance becomes promising, and other parts of the system, such as a standard library, are also being enhanced. Ideally, the remaining problems should be resolved before release, and the solutions will also be integral to drafting a formal specification. 
 
+\addcontentsline{toc}{section}{\refname}
 \bibliographystyle{plain}
 \bibliography{pl}
Index: doc/theses/fangren_yu_COOP_S20/Report.tex
===================================================================
--- doc/theses/fangren_yu_COOP_S20/Report.tex	(revision 1dfe6a6359e3613db1b1b204a4c885cc98c942fe)
+++ doc/theses/fangren_yu_COOP_S20/Report.tex	(revision 101cc3a29a08b58b2758cf5580c8be623a83daff)
@@ -56,5 +56,5 @@
 
 \title{\Huge
-cfa-cc Developer's Reference
+\lstinline|cfa-cc| Developer's Reference
 }% title
 
@@ -728,4 +728,5 @@
 The \CFA compiler sets a limit on assertion depth and reports an error if assertion resolution does not terminate within the limit (as for \lstinline[language=C++]@templates@ in \CC).
 
+\addcontentsline{toc}{section}{\refname}
 \bibliographystyle{plain}
 \bibliography{pl}