diff --git a/src/map/if/acd/acd66.hpp b/src/map/if/acd/acd66.hpp
index 5891f7b90..aea9752e6 100644
--- a/src/map/if/acd/acd66.hpp
+++ b/src/map/if/acd/acd66.hpp
@@ -1024,7 +1024,7 @@ private:
     if ( support_vars2 > support_vars1 )
     {
       f = isets0[0] | isets1[1];
-      std::swap( fs_fun[3], fs_fun[4] );
+      std::swap( fs_fun[2], fs_fun[3] );
       bs_support_size = support_vars1;
     }
 
diff --git a/src/map/if/acd/acd666.hpp b/src/map/if/acd/acd666.hpp
index 72ae68ec4..1086af0a3 100644
--- a/src/map/if/acd/acd666.hpp
+++ b/src/map/if/acd/acd666.hpp
@@ -646,7 +646,7 @@ private:
       {
         f._bits[i] = isets0[0]._bits[i] | isets1[1]._bits[i];
       }
-      std::swap( fs_fun[3], fs_fun[4] );
+      std::swap( fs_fun[2], fs_fun[3] );
       rm_support_size = support_vars1;
     }
 
@@ -705,7 +705,7 @@ private:
     if ( support_vars2 > support_vars1 )
     {
       f = isets0[0] | isets1[1];
-      std::swap( fs_fun[3], fs_fun[4] );
+      std::swap( fs_fun[2], fs_fun[3] );
       support_sizes[0] = support_vars1;
     }