diff --git a/latex/lafi2024/acmart.pdf b/latex/lafi2024/acmart.pdf
index 9b60881d..b938771e 100644
Binary files a/latex/lafi2024/acmart.pdf and b/latex/lafi2024/acmart.pdf differ
diff --git a/latex/lafi2024/acmart.tex b/latex/lafi2024/acmart.tex
index ded1003c..64f209f9 100644
--- a/latex/lafi2024/acmart.tex
+++ b/latex/lafi2024/acmart.tex
@@ -273,7 +273,7 @@ \subsection{Sampling trees with replacement}\label{sec:replacement}
 
   \section{Conclusion}
 
-  We have presented a novel sound and complete algorithm for sampling trees in bounded context-free languages with and without replacement. This technique has applications to code completion and program repair. In future work, we intend to provide a proof of correctness and extend our technique to handle sampling from Boolean and conjunctive languages~\cite{okhotin2001conjunctive}. A reference implementation for $\mathbb{T}_2$ is provided in Kotlin and may be found at the \href{https://github.com/breandan/galoisenne/blob/3a2e811e8652ba29891aa21789ef0836ed19d257/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}{URL} linked below\footnote{\url{https://github.com/breandan/galoisenne/blob/3a2e811e8652ba29891aa21789ef0836ed19d257/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}}.
+  We have presented a novel sound and complete algorithm for sampling trees in bounded context-free languages with and without replacement. This technique has applications to code completion and program repair. In future work, we intend to provide a proof of correctness and extend our technique to handle sampling from Boolean and conjunctive languages~\cite{okhotin2001conjunctive}. A reference implementation for $\mathbb{T}_2$ is provided in Kotlin and may be found at the \href{https://github.com/breandan/galoisenne/blob/adcb90ac775f17582c5f9fbc4da041b0cf4bf3dc/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}{URL} linked below\footnote{\url{https://github.com/breandan/galoisenne/blob/3a2e811e8652ba29891aa21789ef0836ed19d257/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}}.
 
   \section{Acknowledgements}