diff --git a/spot/twaalgos/genem.cc b/spot/twaalgos/genem.cc
index 0fb7f0bb3..5760b6d02 100644
--- a/spot/twaalgos/genem.cc
+++ b/spot/twaalgos/genem.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2017-2019 Laboratoire de Recherche et Developpement
+// Copyright (C) 2017-2020 Laboratoire de Recherche et Developpement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -74,7 +74,7 @@ namespace spot
           }
         else
           {
-            int fo = acc.fin_one();
+            int fo = disjunct.fin_one();
             assert(fo >= 0);
             // Try to accept when Fin(fo) == true
             acc_cond::mark_t fo_m = {(unsigned) fo};