diff --git a/crypto_sign/falcon-512/clean/rng.c b/crypto_sign/falcon-512/clean/rng.c
index 5a003a7b..bbbd9f27 100644
--- a/crypto_sign/falcon-512/clean/rng.c
+++ b/crypto_sign/falcon-512/clean/rng.c
@@ -142,10 +142,8 @@ PQCLEAN_FALCON512_CLEAN_prng_refill(prng *p) {
         for (v = 4; v < 14; v ++) {
             state[v] += d32[v - 4];
         }
-        state[14] += d32[10]
-                     ^ (uint32_t)cc;
-        state[15] += d32[11]
-                     ^ (uint32_t)(cc >> 32);
+        state[14] += d32[10] ^ (uint32_t)cc;
+        state[15] += d32[11] ^ (uint32_t)(cc >> 32);
         cc ++;
 
         /*