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