diff --git a/spot/mc/lpar13.hh b/spot/mc/lpar13.hh
index 029fa3095..d8ee87005 100644
--- a/spot/mc/lpar13.hh
+++ b/spot/mc/lpar13.hh
@@ -170,6 +170,7 @@ namespace spot
                 }
             }
         }
+      finalize();
       return false;
     }