diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf
index 9db0910d..488a91af 100644
Binary files a/papers/hatra21/hatra21.pdf and b/papers/hatra21/hatra21.pdf differ
diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex
index aa5573b3..c1d1a699 100644
--- a/papers/hatra21/hatra21.tex
+++ b/papers/hatra21/hatra21.tex
@@ -1,5 +1,10 @@
 \documentclass[acmsmall]{acmart}
 
+\setcopyright{rightsretained}
+\copyrightyear{2021}
+\acmYear{2021}
+\acmConference[HATRA '21]{Human Aspects of Types and Reasoning Assistants}{October 2021}{Chicago, IL}
+
 \begin{document}
 
 \title{The Goals of the Luau Type System}