diff --git a/servers/pm/mm.h b/servers/pm/pm.h
similarity index 91%
rename from servers/pm/mm.h
rename to servers/pm/pm.h
index 9170251e1..d22df8a26 100644
--- a/servers/pm/mm.h
+++ b/servers/pm/pm.h
@@ -1,4 +1,4 @@
-/* This is the master header for mm.  It includes some other files
+/* This is the master header for PM.  It includes some other files
  * and defines the principal constants.
  */
 #define _POSIX_SOURCE      1	/* tell headers to include POSIX stuff */