diff --git a/model/task/arrival/curves.v b/model/task/arrival/curves.v
index 09ac4b0364c8c643d56055cb7d9a7be07bf40a72..0544433e9aef5797e9bd781e32624e3bd6746fba 100644
--- a/model/task/arrival/curves.v
+++ b/model/task/arrival/curves.v
@@ -64,11 +64,10 @@ Section ArrivalCurves.
     Definition valid_arrival_curve (num_arrivals : duration -> nat) :=
       num_arrivals 0 = 0 /\
       monotone leq num_arrivals.
-                                           
-    (** Similarly, we say that [max_arrivals] is an upper arrival
-        bound for task [tsk] iff, for any interval <<[t1, t2)>>,
-        [max_arrivals (t2 - t1)] bounds the number of jobs of [tsk]
-        that arrive in that interval. *)
+
+    (** We say that [max_arrivals] is an upper arrival bound for task [tsk]
+        iff, for any interval <<[t1, t2)>>, [max_arrivals (t2 - t1)] bounds the
+        number of jobs of [tsk] that arrive in that interval. *)
     Definition respects_max_arrivals (tsk : Task) (max_arrivals : duration -> nat) :=
       forall (t1 t2 : instant),
         t1 <= t2 ->