diff --git a/crypto_sign/falcon-1024/clean/codec.c b/crypto_sign/falcon-1024/clean/codec.c
index 9c7754d5..a096f7b2 100644
--- a/crypto_sign/falcon-1024/clean/codec.c
+++ b/crypto_sign/falcon-1024/clean/codec.c
@@ -444,7 +444,9 @@ PQCLEAN_FALCON1024_CLEAN_comp_decode(
             }
         }
         x[u] = (int16_t) m;
-        if (s) x[u] = -x[u];
+        if (s) {
+          x[u] = (int16_t) -x[u];
+        }
     }
     return v;
 }
diff --git a/crypto_sign/falcon-512/clean/codec.c b/crypto_sign/falcon-512/clean/codec.c
index 9c626e4e..febfe4c3 100644
--- a/crypto_sign/falcon-512/clean/codec.c
+++ b/crypto_sign/falcon-512/clean/codec.c
@@ -444,7 +444,9 @@ PQCLEAN_FALCON512_CLEAN_comp_decode(
             }
         }
         x[u] = (int16_t) m;
-        if (s) x[u] = -x[u];
+        if (s) {
+          x[u] = (int16_t) -x[u];
+        }
     }
     return v;
 }