diff --git a/bin/hilfe b/bin/hilfe
index 5facf5408950d3fbe810f36ec17057dc39d26064..c15dde904de38a1622eb84e77657aa662943f678 100755
--- a/bin/hilfe
+++ b/bin/hilfe
@@ -214,7 +214,7 @@ void cut_buffer(int where)
 void print_version()
 {
   write(version()+
-	" Running Hilfe v1.5 (Incremental Pike Frontend)\n");
+	" running Hilfe v1.5 (Incremental Pike Frontend)\n");
 }