diff --git a/spot/tl/expansions.cc b/spot/tl/expansions.cc
index f68fb2d9d..e92a74621 100644
--- a/spot/tl/expansions.cc
+++ b/spot/tl/expansions.cc
@@ -892,6 +892,8 @@ namespace spot
 
             if (is_det)
               {
+                for (auto& [_, dest] : res)
+                  dest = formula::first_match(dest);
                 finalize_new(res, opts, d);
                 return res;
               }