diff --git a/spot/twa/acc.cc b/spot/twa/acc.cc
index 5b7985d70..ce5d463aa 100644
--- a/spot/twa/acc.cc
+++ b/spot/twa/acc.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015-2021 Laboratoire de Recherche et Développement
+// Copyright (C) 2015-2022 Laboratoire de Recherche et Développement
 // de l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -1029,7 +1029,7 @@ namespace spot
     int base = ba.allocate_variables(umax+2);
     assert(base == 0);
     std::vector<bdd> r;
-    for (unsigned i = 0; r.size() < umax; ++i)
+    while (r.size() < umax)
       r.emplace_back(bdd_ithvar(base++));
     bdd bddcode = to_bdd(&r[0]);
     bdd tmp;
diff --git a/spot/twaalgos/aiger.cc b/spot/twaalgos/aiger.cc
index 660d5b46a..e3c3bb6c5 100644
--- a/spot/twaalgos/aiger.cc
+++ b/spot/twaalgos/aiger.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2017-2021 Laboratoire de Recherche et Développement
+// Copyright (C) 2017-2022 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -1398,7 +1398,7 @@ namespace spot
       {
         unsigned var_g = gate_var(i);
         state_[var_g] = state_[and_gates_[i].first]
-                        & state_[and_gates_[i].second];
+                        && state_[and_gates_[i].second];
         state_[aig_not(var_g)] = !state_[var_g];
       }
     // Update latches