diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index fab923bf47..d0741970c1 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -1857,7 +1857,7 @@
 {p{1in}p{4.15in}}
 \topline
 \hdstyle{Expression}      &   \hdstyle{Post-condition}  \\ \capsep
-\tcode{u.\~T()} &   All resources owned by \tcode{u} are reclaimed, no exception is propagated. \\ \rowsep
+\tcode{a.\~T()} &   All resources owned by \tcode{a} are reclaimed, no exception is propagated. \\ \rowsep
 \multicolumn{2}{|l|}{
   \begin{tailnote}
   Array types and non-object types are not \oldconcept{Destructible}.