diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf
index 6f01d92a..60201e65 100644
Binary files a/papers/hatra23/hatra23.pdf and b/papers/hatra23/hatra23.pdf differ
diff --git a/papers/hatra23/hatra23.tex b/papers/hatra23/hatra23.tex
index 58b8e5e2..a5cf4359 100644
--- a/papers/hatra23/hatra23.tex
+++ b/papers/hatra23/hatra23.tex
@@ -29,9 +29,9 @@
 
 \begin{abstract}
 In HATRA 2021, we presented \emph{The Goals Of The Luau Type System},
-describing the human factors of designing a type system for a
+describing the human factors of a type system for a
 language with a heterogeneous developer community. In this extended
-abstract we provide a progress report on the work so far, focusing on
+abstract we provide a progress report, focusing on
 the unexpected aspects: semantic subtyping and type error
 suppression.
 \end{abstract}