diff -r d0517da45e5c -r 8c501c406d24 lib/Tools/ocaml_setup
--- 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