diff --git a/paper.tex b/paper.tex
index e1555d2..2f806f0 100644
--- a/paper.tex
+++ b/paper.tex
@@ -469,16 +469,16 @@ \subsection{Destructors}
 It may be translated to EO as such:
 
 \begin{ffcode}
-[] > Foo
-  [] > new
-    seq > @
-      QQ.io.stdout "Alive" > @
-      []
-        [] > destructor
-          QQ.io.stdout "Dead" > @
-[] > main
+[] > foo
+  nop > @
+  [] > constructor
+    QQ.io.stdout "Alive" > @
+  [] > destructor
+    QQ.io.stdout "Dead" > @
+[] > app
+  foo > f
   seq > @
-    Foo.new > f
+    f.constructor
     f.destructor
 \end{ffcode}