diff --git a/exe/Main.idr b/exe/Main.idr
index 51e7562..4a1ba98 100644
--- a/exe/Main.idr
+++ b/exe/Main.idr
@@ -26,7 +26,9 @@ main = do
       | Left err => die $ prettyError True True err
     for_ res $ \(name, def) => do
       putDoc $ map termHL $ nest 2 $
-        sep [hsep [hl Free $ pretty0 True name, colonD],
+        sep [hsep [hcat [pretty0 True def.qty.fst, dotD,
+                         hl Free (pretty0 True name)],
+                   colonD],
              prettyTerm True [<] [<] def.type]
 
 -----------------------------------