diff --git a/tex/paper/miri.tex b/tex/paper/miri.tex
index d54d28f8b38..99d7733725c 100644
--- a/tex/paper/miri.tex
+++ b/tex/paper/miri.tex
@@ -297,4 +297,10 @@ Other possible uses for Miri include:
     guarantee that compile-time execution works the same as runtime execution.
 \end{itemize}
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\section{Thanks}
+
+Eduard Burtescu, Niko Matsakis, and Christopher Dutchyn.
+
 \end{document}