Index: doc/papers/general/Paper.tex
===================================================================
--- doc/papers/general/Paper.tex	(revision 804b57e31aa94e0c84b8dbfd4fb6997a6e25868a)
+++ doc/papers/general/Paper.tex	(revision d7d4702ef66e24b3a78f5bb33e48550ba92013e0)
@@ -914,5 +914,5 @@
 \TODO{Fill out section. Mention field-constructors and at-equal escape hatch to C-style initialization. Probably pull some text from Rob's thesis for first draft.}
 
-\subsection{@with@ Statement}
+\subsection{with Statement}
 
 In any programming language, some functions have a naturally close relationship with a particular data type. 
@@ -925,5 +925,5 @@
 \section{References}
 
-\TODO{Pull draft text from user manual; make sure to discuss nested references and rebind operator drawn from }
+\TODO{Pull draft text from user manual; make sure to discuss nested references and rebind operator drawn from lvalue-addressof operator}
 
 \section{Evaluation}