diff --git a/src/format.rs b/src/format.rs
index 02c7cce..ca88ce3 100644
--- a/src/format.rs
+++ b/src/format.rs
@@ -183,7 +183,7 @@ impl<'term> std::fmt::Debug for TermDisplay<'term>
 					"number of function arguments differs from declaration (expected {}, got {})",
 					function.declaration.arity, function.arguments.len());
 
-				if function.arguments.len() > 0
+				if !function.arguments.is_empty()
 				{
 					write!(format, "{}(", function.declaration.name)?;