diff --git a/src/library/tactic/proof_state.cpp b/src/library/tactic/proof_state.cpp
index af4397b822..e6d09b5e18 100644
--- a/src/library/tactic/proof_state.cpp
+++ b/src/library/tactic/proof_state.cpp
@@ -16,7 +16,7 @@ format proof_state::pp(formatter const & fmt, options const & opts) const {
             first = false;
         else
             r += line();
-        r += group(format{format(p.first), colon(), line(), p.second.pp(fmt, opts)});
+        r += p.second.pp(fmt, opts);
     }
     return r;
 }