diff --git a/paper/HVM2.pdf b/paper/HVM2.pdf
index 454bff6c..da7df88f 100644
Binary files a/paper/HVM2.pdf and b/paper/HVM2.pdf differ
diff --git a/paper/HVM2.typst b/paper/HVM2.typst
index 0080dd0b..472d39c0 100644
--- a/paper/HVM2.typst
+++ b/paper/HVM2.typst
@@ -806,7 +806,7 @@ In HVM2's memory, it would be represented as:
 ```
 RBAG | FST-TREE | SND-TREE
 ---- | -------- | --------
-0800 | CON 0001 | CON 0002 // '& (b a) ~ (x (y *))'
+0800 | CON 0002 | CON 0003 // '& (b a) ~ (x (y *))'
 1800 | DUP 0005 | REF 0000 // '& {x y} ~ @foo'
 ---- | -------- | --------
 NODE | PORT-1   | PORT-2
@@ -814,7 +814,7 @@ NODE | PORT-1   | PORT-2
 0001 | VAR 0000 | VAR 0001 // '(a b)' node (root)
 0002 | VAR 0001 | VAR 0000 // '(b a)' node
 0003 | VAR 0002 | CON 0004 // '(x (y *))' node
-0004 | VAR 0003 | DUP 0000 // '(y *)' node
+0004 | VAR 0003 | ERA 0000 // '(y *)' node
 0005 | VAR 0003 | VAR 0002 // '{y x}' node
 ---- | -------- | --------
 VARS | VALUE    |