diff --git a/makestatic.sh b/makestatic.sh
index d01160e4a6c9dc7344621f5483926d439424d330..3114d40ad67cbdd5bed8a54e78e9667a48e949c8 100755
--- a/makestatic.sh
+++ b/makestatic.sh
@@ -6,7 +6,7 @@ die() { echo "$*" ; exit 1 ; }
 
 [ -d .git ] || die "$0 only works in the git-repository!"
 
-dir=cool-$(uname -m)-$(date +%Y-%m-%d)
+dir=cool-$(uname -m)-$(date +%Y-%m-%d-%H-%M)
 :: mkdir -p $dir
 :: pushd $dir
 :: git --git-dir=.git pull || :: git clone .. .
diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index de055481a9b881040874a704b2a7d50a29fe6edb..f6c650695593e3e266a1ca0a252d94930aa4930b 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -42,11 +42,17 @@ let _ = Gc.set { (Gc.get()) with Gc.minor_heap_size = 4194304; major_heap_increm
 let printUsage () =
   print_endline "Usage: \"alc <task> <functor> [<flags>]\" where";
   print_endline "       <task> in { sat print nnf prov (is »not.(sat ¬f)«) }";
-  print_endline "       <functor> in { MultiModalK MultiModalKD CoalitionLogic GML";
-  print_endline "                      (or: K)     (or: KD)     (or: CL)";
+  print_endline "       <functor> in { MultiModalK (or equivalently K)";
+  print_endline "                      MultiModalKD (or equivalently KD)";
+  print_endline "                      CoalitionLogic (or equivalently CL)";
+  print_endline "                      PML";
+  print_endline "                      GML";
   print_endline "                    }";
-  print_endline "                 or <functor> + <functor>";
+  print_endline "                 where you can compose functors by:";
+  print_endline "                    <functor> + <functor> (weakest precedence)";
   print_endline "                 or <functor> * <functor>";
+  print_endline "                 or <functor> . <functor> (binds strongest)";
+  print_endline "                 (so K+KD.CL*PML stand for (K + ((KD.CL) * PML)))";
   print_endline "       <flags> = a list of the following items";
   print_endline "           --agents AGLIST";
   print_endline "             expects the next argument AGLIST to be a list of integers";