diff --git a/src/format.rs b/src/format.rs
index ca88ce3..3a58f99 100644
--- a/src/format.rs
+++ b/src/format.rs
@@ -185,7 +185,7 @@ impl<'term> std::fmt::Debug for TermDisplay<'term>
 
 				if !function.arguments.is_empty()
 				{
-					write!(format, "{}(", function.declaration.name)?;
+					write!(format, "(")?;
 
 					let mut separator = "";