diff --git a/servo/components/profile/time.rs b/servo/components/profile/time.rs
index 16495b63d43a..2eb48f57a133 100644
--- a/servo/components/profile/time.rs
+++ b/servo/components/profile/time.rs
@@ -328,7 +328,7 @@ impl Profiler {
     /// Get tuple (mean, median, min, max) for profiler statistics.
     pub fn get_statistics(data: &[f64]) -> (f64, f64, f64, f64) {
         data.iter().fold(-f64::INFINITY, |a, &b| {
-            debug_assert!(a < b, "Data must be sorted");
+            debug_assert!(a <= b, "Data must be sorted");
             b
         });