diff --git a/analysis/facts/model/rbf.v b/analysis/facts/model/rbf.v
index 0d6775d66e01cad5b4d6d21cf8241459bd67494d..2846036e0c0d8f211561d6751f3193c54dfc0427 100644
--- a/analysis/facts/model/rbf.v
+++ b/analysis/facts/model/rbf.v
@@ -231,8 +231,8 @@ Section TotalRBFBound.
   Context `{JobArrival Job}.
   Context `{JobCost Job}.
 
-  (** Consider an JLFP policy that indicates a higher-or-equal
-      priority relation ... *)
+  (** Consider a JLFP policy that indicates a higher-or-equal priority
+      relation ... *)
   Context `{JLFP_policy Job}.
 
   (** ... and any valid arrival sequence. *)