diff --git a/src/Cryptol/REPL/Command.hs b/src/Cryptol/REPL/Command.hs
index 1ed59056..be3592c9 100644
--- a/src/Cryptol/REPL/Command.hs
+++ b/src/Cryptol/REPL/Command.hs
@@ -700,7 +700,7 @@ helpCmd cmd
                   rPrint $ runDoc nameEnv
                          $ nest 4
                          $ property
-                           <+> optParens ifDeclInfix (pp qname)
+                           <+> pp qname
                            <+> colon
                            <+> pp (ifDeclSig)