diff --git a/tests/Makefile.am b/tests/Makefile.am
index 391dda4e7..3c585789a 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -365,7 +365,8 @@ TESTS_ltsmin = \
   ltsmin/finite2.test \
   ltsmin/kripke.test
 
-EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/finite.dve ltsmin/finite.pm
+EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/elevator2.1.pm \
+	ltsmin/finite.dve ltsmin/finite.pm
 
 ltlsmin/kripke.log: core/kripkecat$(EXEEXT)