Index: doc/theses/colby_parsons_MMAth/text/actors.tex
===================================================================
--- doc/theses/colby_parsons_MMAth/text/actors.tex	(revision 1f39a285107b2acd27fae44acaf98e6174e5e335)
+++ doc/theses/colby_parsons_MMAth/text/actors.tex	(revision 38836097a60d276ccf6cb61c0eb803457c9c084b)
@@ -631,6 +631,12 @@
 
 There is one last piece to the stealing puzzle.
-There are two steps to gulping a queue.
-First the victim must dereference its current queue pointer from @worker_queues@; then it calls @transfer@ which gulps the queue.
+When gulping a queue there are two steps:
+\begin{enumerate}[topsep=5pt,itemsep=3pt,parsep=0pt]
+\item
+First the victim must dereference its current queue pointer from @worker_queues@
+
+\item
+Then the victim calls @transfer@ which gulps the queue.
+\end{enumerate}
 If a thief steals the queue pointer after the victim dereferences it and before the victim calls @transfer@ (between the two steps), this poses a problem.
 The thief could potentially gulp from the queue and process it at the same time as the victim.
