diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 76e4123ff4d67676db68368d8b34fa7ccebcafdb..27caad7526a87b8fe2bc4abf8251ceaaec79d1cb 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -46,7 +46,7 @@ let _ =
 
 let printUsage name =
   print_endline ("Usage: \"" ^ name ^ " <task> <functor> [<flags>]\" where");
-  print_endline "       <task> in { sat print verify nnf prov (is »not.(sat ¬f)«) nom2fix }";
+  print_endline "       <task> in { sat print graph verify nnf prov (is »not.(sat ¬f)«) nom2fix }";
   print_endline "       <functor> in { MultiModalK (or equivalently K)";
   print_endline "                      MultiModalKD (or equivalently KD)";
   print_endline "                      Monotone";