--- a/lib/Tools/ocaml_setup Wed Oct 17 20:25:51 2018 +0200
+++ b/lib/Tools/ocaml_setup Wed Oct 17 21:36:57 2018 +0200
@@ -2,7 +2,7 @@
#
# Author: Makarius
#
-# DESCRIPTION: OCaml setup via OPAM
+# DESCRIPTION: setup OCaml setup via OPAM
if [ -d "$ISABELLE_OPAM_ROOT" ]
then