diff --git a/pkg/argus_wasm_bg.wasm b/pkg/argus_wasm_bg.wasm
index 556787e..ba162db 100644
Binary files a/pkg/argus_wasm_bg.wasm and b/pkg/argus_wasm_bg.wasm differ
diff --git a/src/lib.rs b/src/lib.rs
index e9a4be3..cb574c7 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -66,7 +66,7 @@ pub fn eval_boolean(s: &str, js_trace: JsValue) -> JsValue {
             });
             if let Signal::<f64>::Sampled { values, time_points } = signal {
                 values.push(*val);
-                time_points.push(Duration::from_millis(entry.simtime as u64));
+                time_points.push(Duration::from_secs(entry.simtime as u64));
             }
             else {
                 return JsValue::from_str("this should never happen");
@@ -109,7 +109,7 @@ pub fn eval_boolean(s: &str, js_trace: JsValue) -> JsValue {
             r.iter().for_each(|(timestamp, satisfied), | {
                 console::debug_1(&JsValue::from_str(format!("timestamp: {}s {}ms", timestamp.as_secs(), (timestamp.as_millis() as f64)).as_str()));
                 result.push(StateBuddyEvalResultEntry{
-                    timestamp: timestamp.as_millis() as f64,
+                    timestamp: timestamp.as_secs() as f64,
                     satisfied: *satisfied,
                 });
             });