--- Gnu-Mach/ipc/port.h	2020/09/02 04:36:56	1.1.1.1
+++ Gnu-Mach/ipc/port.h	2020/09/02 04:47:21	1.1.1.2
@@ -29,7 +29,7 @@
 /*
  */
 /*
- *	File:	ipc/ipc_port.h
+ *	File:	ipc/port.h
  *	Author:	Rich Draves
  *	Date:	1989
  *
@@ -45,7 +45,7 @@
  *	mach_port_t must be an unsigned type.  Port values
  *	have two parts, a generation number and an index.
  *	These macros encapsulate all knowledge of how
- *	a mach_port_t is layed out.  However, ipc/ipc_entry.c
+ *	a mach_port_t is laid out.  However, ipc/ipc_entry.c
  *	implicitly assumes when it uses the splay tree functions
  *	that the generation number is in the low bits, so that
  *	names are ordered first by index and then by generation.