diff --git a/src/language.rs b/src/language.rs
index d307f8bf..ddc06f82 100644
--- a/src/language.rs
+++ b/src/language.rs
@@ -403,7 +403,7 @@ pub fn show_term(term: &Term) -> String {
       format!("({}: {}) {}", name, show_term(tipo), body)
     }
     Term::Ctr { name, args } => {
-      format!("{{{}{}}}", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
+      format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
     }
     Term::Fun { name, args } => {
       format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
diff --git a/src/main.rs b/src/main.rs
index b34ab417..6cb08ea7 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -17,6 +17,7 @@ fn main() {
       eprintln!("{}", err);
     }
   };
+}
 
 // ------------------------------------------------------------
 // ------------------------------------------------------------