diff --git a/src/Idris/Syntax.idr b/src/Idris/Syntax.idr
index 879c45a50..3414a6394 100644
--- a/src/Idris/Syntax.idr
+++ b/src/Idris/Syntax.idr
@@ -293,7 +293,7 @@ mutual
     show $ vsep $ map (((<++>) "+") . pretty {ann=()} . showDirective) $ filter isPragma directiveList
     where
       showDirective : Directive -> String
-      showDirective (Hide _)             = "%hide term"
+      showDirective (Hide _)             = "%hide name"
       showDirective (Logging _)          = "%logging [topic] lvl"
       showDirective (LazyOn _)           = "%auto_lazy on|off"
       showDirective (UnboundImplicits _) = "%unbound_implicits"