diff --git a/otherlibs/num/arith_flags.mli b/otherlibs/num/arith_flags.mli
index 948a8438e..d8098be28 100644
--- a/otherlibs/num/arith_flags.mli
+++ b/otherlibs/num/arith_flags.mli
@@ -15,4 +15,4 @@ val error_when_null_denominator_flag : bool ref
 val normalize_ratio_flag : bool ref
 val normalize_ratio_when_printing_flag : bool ref
 val floating_precision : int ref
-val approx_printing_flag : bool ref;;
+val approx_printing_flag : bool ref
diff --git a/otherlibs/num/arith_status.mli b/otherlibs/num/arith_status.mli
index c0b7f878f..77bf2e3f9 100644
--- a/otherlibs/num/arith_status.mli
+++ b/otherlibs/num/arith_status.mli
@@ -13,7 +13,7 @@
 
 (* Module [Arith_status]: flags that control rational arithmetic *)
 
-val arith_status: unit -> unit;;
+val arith_status: unit -> unit
         (* Print the current status of the arithmetic flags. *)
 
 val get_error_when_null_denominator : unit -> bool
@@ -46,4 +46,4 @@ val set_floating_precision : int -> unit
            This parameter is the number of digits displayed when
            [approx_printing] is on.
            Initially: 12. *)
-;;
+