Update templates/1000-missing.html

templates/1000-missing.html

@@ -4,7 +4,7 @@
 {% markdown %}
 # Missing theorems from [Freek Wiedijk's](https://www.cs.ru.nl/~freek/) [1000+ theorems project](https://1000-plus.github.io/)
 These theorems are not yet formalized in Lean (or, these formalisations are not entered in the database yet).
-Currently there are {{hundred_theorems|rejectattr('formalized')|list|length}} of them.
+Currently there are {{thousand_theorems|rejectattr('formalized')|list|length}} of them.
 <a href="1000.html">Here</a> is the list of the formalized theorems.
 {% for theorem in thousand_theorems|rejectattr('formalized') %}
 * {{ theorem.id }}: {{ theorem.title }}