diff --git a/src/lib/uTop.mli b/src/lib/uTop.mli
index 19758c52..4651516f 100644
--- a/src/lib/uTop.mli
+++ b/src/lib/uTop.mli
@@ -364,6 +364,7 @@ val set_load_path : string list -> unit
 
       The internal variable contains the list of directories added by findlib-required packages
       and [#directory] directives. *)
+
 (**/**)
 
 (* These variables are not used and deprecated: *)