diff --git a/bin/migration_scripts/potassium2calcium.sh b/bin/migration_scripts/potassium2calcium.sh
old mode 100644
new mode 100755
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index c39327e3e31709ee0ffb0546bcdc13d6f12080f5..a6ea92ff928e51c4dcec2525b7cba942173fd5bb 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -135,13 +135,13 @@ val opt_of_list: 'a list -> 'a option
       @since Oxygen-20120901 *)
 
 val find_opt : ('a -> 'b option) -> 'a list -> 'b
-[@@deprecated "Use Transitioning.List.find_opt instead."]
+[@@deprecated "Use List.find_opt instead."]
   (** [find_option p l] returns the value [p e], [e] being the first
       element of [l] such that [p e] is not [None]. Raise [Not_found] if there
       is no such value the list l.
 
       @since Nitrogen-20111001
-      @deprecated 18.0-Argon use [Transitioning.List.find_opt] instead *)
+      @deprecated 18.0-Argon use [List.find_opt] instead *)
 
 val iteri: (int -> 'a -> unit) -> 'a list -> unit
   (** Same as iter, but the function to be applied take also as argument the