diff --git a/racket/typed/Makefile b/racket/typed/Makefile
index 5d5f770..f2f2b1b 100644
--- a/racket/typed/Makefile
+++ b/racket/typed/Makefile
@@ -6,5 +6,6 @@ pan.c : leader-and-seller.pml
 
 # -a to analyze, -f for (weak) fairness
 # -n to elide report of unreached states
+# -N spec-name to verify a particular specification
 check: pan
-	./pan -a -f
+	./pan -a -f -n