diff --git a/index.html b/index.html
index be9b8bf43..fdffda25e 100644
--- a/index.html
+++ b/index.html
@@ -108,6 +108,9 @@ <h2> <a name="groups" class="anchor" href="#groups"><span class="octicon octicon
       <h2> <a name="doc" class="anchor" href="#doc"><span class="octicon octicon-link"></span></a>Documentation</h2>
 
       <ul>
+	<li>
+	A Lustre Primer for Kind 2 Users: <a href="https://kind.cs.uiowa.edu/kind2_user_docs/lustre_primer.pdf">PDF document</a>
+	</li>
 	<li>
 	User documentation in single HTML page format:
 	<a href="https://kind.cs.uiowa.edu/kind2_user_docs/v2.2.0/">v2.2.0</a>
@@ -206,7 +209,7 @@ <h2> <a name="publications" class="anchor" href="#publications"><span class="oct
 <p>Daniel Larraz, Cesare Tinelli. <a href="https://kind.cs.uiowa.edu/papers/LT+22-ada.pdf">Finding Locally Smallest Cut Sets using Max-SMT</a>.
 In <span class="pub">ACM SIGAda Ada Letters</span>, 2022.</p>
 
-<p>Daniel Larraz, Arjun Viswanathan, Mickaël Laurent, Cesare Tinelli. <a href="https://kind.cs.uiowa.edu/papers/LT+22-ada.pdf">Beyond model checking of idealized Lustre in Kind 2</a>.
+<p>Daniel Larraz, Arjun Viswanathan, Mickaël Laurent, Cesare Tinelli. <a href="https://kind.cs.uiowa.edu/papers/LVTL+22-ada.pdf">Beyond model checking of idealized Lustre in Kind 2</a>.
 In <span class="pub">ACM SIGAda Ada Letters</span>, 2022.</p>
 
 <p>Daniel Larraz, Cesare Tinelli. <a href="https://kind.cs.uiowa.edu/papers/LT+22.pdf">Realizability Checking of Contracts with Kind 2</a>. <span class="pub">CoRR abs/2205.09082</span>, 2022.</p>