diff --git a/proposals/relaxed-simd/Overview.md b/proposals/relaxed-simd/Overview.md
index 4278cb930e..61b18fbe02 100644
--- a/proposals/relaxed-simd/Overview.md
+++ b/proposals/relaxed-simd/Overview.md
@@ -114,12 +114,12 @@ def relaxed_i32x4_trunc_f32x4_s(a : f32x4) -> i32x4:
     result = [0, 0, 0, 0]
     for i in range(4):
       if isnan(a[i]):
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MAX)
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MIN)
       r = truncate(a[i])
       if r < INT32_MIN:
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
+        result[i] = INT32_MIN
       elif r > INT32_MAX
-        result[i] = INT32_MAX
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
       else:
         result[i] = r
 
@@ -140,12 +140,12 @@ def relaxed_i32x4_trunc_f64x2_zero_s(a : f64x2) -> i32x4:
     result = [0, 0, 0, 0]
     for i in range(2):
       if isnan(a[i]):
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MAX)
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MIN)
       r = truncate(a[i])
       if r < INT32_MIN:
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
+        result[i] = INT32_MIN
       elif r > INT32_MAX
-        result[i] = INT32_MAX
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
       else:
         result[i] = r