diff --git a/appl/push/push.8 b/appl/push/push.8
index 00c6f846c..6b394af7f 100644
--- a/appl/push/push.8
+++ b/appl/push/push.8
@@ -103,7 +103,7 @@ points to the post office, if no other hostname is specified.
 .\".Sh FILES
 .Sh EXAMPLES
 .Bd -literal -offset indent
-$ push cornfield:roosta ~/.gnus-crash-box
+$ push cornfield:roosta ~/.emacs-mail-crash-box
 .Ed
 .Pp
 tries to fetch mail for the user
@@ -111,7 +111,7 @@ tries to fetch mail for the user
 from the post office at
 .Dq cornfield ,
 and stores the mail in
-.Pa ~/.gnus-crash-box  
+.Pa ~/.emacs-mail-crash-box
 (you are using Gnus, aren't you?)
 .Bd -literal -offset indent
 $ push --from -5 havregryn