diff --git a/spec/tinyspec.pdf b/spec/tinyspec.pdf
index a611dd7f2a..7ff340de64 100644
Binary files a/spec/tinyspec.pdf and b/spec/tinyspec.pdf differ
diff --git a/spec/tinyspec.tex b/spec/tinyspec.tex
index 9859a48945..5c87166a87 100644
--- a/spec/tinyspec.tex
+++ b/spec/tinyspec.tex
@@ -227,6 +227,7 @@ Ternary & $(P, A, B)$
 \midrule
 \op{Barrier} & (deps\ldots) & --- & Synchronize threads within a workgroup. \\
 \op{Ins} & \ldots & \ldots & A single machine instruction (e.g.\ AMD ISA). \\
+\op{GetAddr} & (buf, dev) & --- & Lower buf to its address on device dev. \\
 \op{Special} & (bound,) & name & GPU thread/workgroup index (e.g.\ \texttt{gidx0}, \texttt{lidx1}). \\
 \op{If} & (gate,) & --- & Begin conditional execution block. \\
 \op{Endif} & (if,) & --- & End conditional execution block. \\