diff --git a/metamath-rs/src/grammar.rs b/metamath-rs/src/grammar.rs
index 8d7f3a5..c941e46 100644
--- a/metamath-rs/src/grammar.rs
+++ b/metamath-rs/src/grammar.rs
@@ -1741,7 +1741,7 @@ impl StmtParse {
                 println!(
                     "{}: {}",
                     as_str(nset.statement_name(&sref)),
-                    formula.as_ref(db)
+                    formula.as_ref(db).as_sexpr()
                 );
             }
         }