diff --git a/man5/core.5 b/man5/core.5
index d43a2f599..d7259e985 100644
--- a/man5/core.5
+++ b/man5/core.5
@@ -49,7 +49,12 @@ not produced:
 .IP * 3
 The process does not have permission to write the core file.
 (By default the core file is called
-.IR core ,
+.IR core
+or
+.IR core.pid ,
+where
+.I pid
+is the ID of the process that dumped core,
 and is created in the current working directory.
 See below for details on naming.)
 Writing the core file will fail if the directory in which