diff --git a/argus/src/semantics/boolean.rs b/argus/src/semantics/boolean.rs
index 7e237af..412622c 100644
--- a/argus/src/semantics/boolean.rs
+++ b/argus/src/semantics/boolean.rs
@@ -250,7 +250,7 @@ fn compute_timed_eventually<I: InterpolationMethod<bool>>(
                     ret_vals.push(
                         wedge
                             .front()
-                            .map(|(&t, &v)| (t, v))
+                            .map(|(_, &v)| (*i - width, v))
                             .unwrap_or_else(|| panic!("wedge should have at least 1 element")),
                     )
                 }
diff --git a/argus/src/semantics/quantitative.rs b/argus/src/semantics/quantitative.rs
index c8a4b47..e71bc44 100644
--- a/argus/src/semantics/quantitative.rs
+++ b/argus/src/semantics/quantitative.rs
@@ -296,7 +296,7 @@ fn compute_timed_eventually<I: InterpolationMethod<f64>>(
                     ret_vals.push(
                         wedge
                             .front()
-                            .map(|(&t, &v)| (t, v))
+                            .map(|(_, &v)| (*i - width, v))
                             .unwrap_or_else(|| panic!("wedge should have at least 1 element")),
                     )
                 }