diff --git a/spot/mc/bloemen.hh b/spot/mc/bloemen.hh
index aee32418c..e2d0ddc31 100644
--- a/spot/mc/bloemen.hh
+++ b/spot/mc/bloemen.hh
@@ -424,7 +424,7 @@ namespace spot
     using shared_struct = uf;
     using shared_map = typename uf::shared_map;
 
-    static shared_struct* make_shared_st(shared_map m, unsigned i)
+    static shared_struct* make_shared_structure(shared_map m, unsigned i)
     {
       return new uf(m, i);
     }
diff --git a/spot/mc/bloemen_ec.hh b/spot/mc/bloemen_ec.hh
index 6be971ad4..530323f9c 100644
--- a/spot/mc/bloemen_ec.hh
+++ b/spot/mc/bloemen_ec.hh
@@ -461,7 +461,7 @@ namespace spot
     using shared_struct = uf;
     using shared_map = typename uf::shared_map;
 
-    static shared_struct* make_shared_st(shared_map m, unsigned i)
+    static shared_struct* make_shared_structure(shared_map m, unsigned i)
     {
       return new uf(m, i);
     }
diff --git a/spot/mc/cndfs.hh b/spot/mc/cndfs.hh
index b35ff6e70..2e2708038 100644
--- a/spot/mc/cndfs.hh
+++ b/spot/mc/cndfs.hh
@@ -101,7 +101,7 @@ namespace spot
                                                        state_hasher>;
     using shared_struct = shared_map;
 
-    static shared_struct* make_shared_st(shared_map m, unsigned i)
+    static shared_struct* make_shared_structure(shared_map m, unsigned i)
     {
       return nullptr; // Useless here.
     }
diff --git a/spot/mc/deadlock.hh b/spot/mc/deadlock.hh
index a8c9946ff..cdf2d47af 100644
--- a/spot/mc/deadlock.hh
+++ b/spot/mc/deadlock.hh
@@ -86,7 +86,7 @@ namespace spot
                                                        pair_hasher>;
     using shared_struct = shared_map;
 
-    static shared_struct* make_shared_st(shared_map, unsigned)
+    static shared_struct* make_shared_structure(shared_map, unsigned)
     {
       return nullptr; // Useless
     }
diff --git a/spot/mc/lpar13.hh b/spot/mc/lpar13.hh
index 3c3f83fd4..d2bc8bd83 100644
--- a/spot/mc/lpar13.hh
+++ b/spot/mc/lpar13.hh
@@ -70,7 +70,7 @@ namespace spot
     using shared_map = int; // Useless here.
     using shared_struct = int; // Useless here.
 
-    static shared_struct* make_shared_st(shared_map m, unsigned i)
+    static shared_struct* make_shared_structure(shared_map m, unsigned i)
     {
       return nullptr; // Useless
     }
diff --git a/spot/mc/mc_instanciator.hh b/spot/mc/mc_instanciator.hh
index f89e9dae3..060e1ce6e 100644
--- a/spot/mc/mc_instanciator.hh
+++ b/spot/mc/mc_instanciator.hh
@@ -58,7 +58,7 @@ namespace spot
     tm.start("Initialisation");
     for (unsigned i = 0; i < nbth; ++i)
       {
-        ss[i] = algo_name::make_shared_st(map, i);
+        ss[i] = algo_name::make_shared_structure(map, i);
         swarmed[i] = new algo_name(*sys, prop, map, ss[i], i, stop);
       }
     tm.stop("Initialisation");