diff --git a/kernel/src/memory/declaration/mod.rs b/kernel/src/memory/declaration/mod.rs
index c54d763e05db35d10db5fbd4e10b0c1461b4edf0..713ba241f49790e8ff0b58768cdf1d6300fc0790 100644
--- a/kernel/src/memory/declaration/mod.rs
+++ b/kernel/src/memory/declaration/mod.rs
@@ -45,9 +45,15 @@ impl<'arena> fmt::Display for InstantiatedDeclaration<'arena> {
         match self.0.header.term.get() {
             Some(term) => write!(f, "{term}"),
             None => {
-                write!(f, "({}).{{", self.0.payload.decl)?;
-                self.0.payload.params.iter().try_for_each(|level| write!(f, "{level}, "))?;
+                write!(f, "({}).{{",self.0.payload.decl)?;
+
+                let mut iter = self.0.payload.params.iter();
+                
+                iter.next().map(|level| write!(f, "{level}")).unwrap_or(Ok(()))?;
+                iter.try_for_each(|level| write!(f, ", {level}"))?;
+                
                 write!(f, "}}")
+                
             },
         }
     }