diff --git a/sh/doc.awk b/sh/doc.awk
index edf2455..dd019ee 100644
--- a/sh/doc.awk
+++ b/sh/doc.awk
@@ -7,7 +7,7 @@ function append(line) {
 
 function output(name) {
     print name
-    print "↓"
+    print ""
     print doc
     exit
 }