diff --git a/src/smvlang/smv_parse_tree.cpp b/src/smvlang/smv_parse_tree.cpp
index 6b323d75a..4e0a3cb22 100644
--- a/src/smvlang/smv_parse_tree.cpp
+++ b/src/smvlang/smv_parse_tree.cpp
@@ -103,7 +103,7 @@ void smv_parse_treet::show(std::ostream &out) const
   {
     auto &module = module_it.second;
 
-    out << "Module: " << module.name << std::endl << std::endl;
+    out << "Module: " << module.base_name << '\n' << '\n';
 
     out << "  PARAMETERS:\n";