1 files changed, 13 insertions, 13 deletions
diff --git a/lib/libc/sys/intro.2 b/lib/libc/sys/intro.2
index b16c3ea..2b88fbd 100644
--- a/lib/libc/sys/intro.2
+++ b/lib/libc/sys/intro.2
@@ -463,18 +463,18 @@ at run-time.
 .El
 .Sh DEFINITIONS
 .Bl -tag -width Ds
-.It  Process ID .
+.It Process ID .
 Each active process in the system is uniquely identified by a non-negative
 integer called a process ID.
 The range of this ID is from 0 to 99999.
-.It  Parent process ID
+.It Parent process ID
 A new process is created by a currently active process; (see
 .Xr fork 2 ) .
 The parent process ID of a process is initially the process ID of its creator.
 If the creating process exits,
 the parent process ID of each child is set to the ID of a system process,
 .Xr init 8 .
-.It  Process Group
+.It Process Group
 Each active process is a member of a process group that is identified by
 a non-negative integer called the process group ID.
 This is the process
@@ -501,7 +501,7 @@ A session leader with a controlling terminal is a controlling process.
 .It Controlling terminal
 A terminal that is associated with a session is known as the controlling
 terminal for that session and its members.
-.It  "Terminal Process Group ID"
+.It "Terminal Process Group ID"
 A terminal may be acquired by a session leader as its controlling terminal.
 Once a terminal is associated with a session, any of the process groups
 within the session may be placed into the foreground by setting
@@ -512,7 +512,7 @@ to arbitrate between multiple jobs contending for the same terminal;
 .Xr csh 1
 and
 .Xr tty 4 ) .
-.It  "Orphaned Process Group"
+.It "Orphaned Process Group"
 A process group is considered to be
 .Em orphaned
 if it is not under the control of a job control shell.
@@ -564,7 +564,7 @@ The group access list is a set of group IDs
 used only in determining resource accessibility.
 Access checks
 are performed as described below in ``File Access Permissions''.
-.It  "Saved Set User ID and Saved Set Group ID"
+.It "Saved Set User ID and Saved Set Group ID"
 When a process executes a new file, the effective user ID is set
 to the owner of the file if the file is set-user-ID, and the effective
 group ID (first element of the group access list) is set to the group
@@ -577,11 +577,11 @@ or group ID after reverting to the real ID (see
 (In POSIX.1, the saved set-user-ID and saved set-group-ID are optional,
 and are used in setuid and setgid, but this does not work as desired
 for the super-user.)
-.It  Super-user
+.It Super-user
 A process is recognized as a
 .Em super-user
 process and is granted special privileges if its effective user ID is 0.
-.It  Descriptor
+.It Descriptor
 An integer assigned by the system when a file is referenced
 by
 .Xr open 2
@@ -594,7 +594,7 @@ or
 .Xr socketpair 2 ,
 which uniquely identifies an access path to that file or socket from
 a given process or any of its children.
-.It  File Name
+.It File Name
 Names consisting of up to 255
 .Pq Dv MAXNAMELEN
 characters may be used to name
@@ -618,7 +618,7 @@ or
 as part of
 file names because of the special meaning attached to these characters
 by the shell.
-.It  Path Name
+.It Path Name
 A path name is a
 .Tn NUL Ns -terminated
 character string starting with an
@@ -637,7 +637,7 @@ Otherwise, the search begins from the current working directory.
 A slash by itself names the root directory.
 An empty
 pathname refers to the current directory.
-.It  Directory
+.It Directory
 A directory is a special type of file that contains entries
 that are references to other files.
 Directory entries are called links.
@@ -659,7 +659,7 @@ and a current working directory for the purpose of resolving path
 name searches.
 A process's root directory need not be the root
 directory of the root file system.
-.It  File Access Permissions
+.It File Access Permissions
 Every file in the file system has a set of access permissions.
 These permissions are used in determining whether a process
 may perform a requested operation on the file (such as opening
@@ -708,7 +708,7 @@ match the corresponding user ID and group ID of the file,
 but the permissions for ``other users'' allow access.
 .Pp
 Otherwise, permission is denied.
-.It  Sockets and Address Families
+.It Sockets and Address Families
 A socket is an endpoint for communication between processes.
 Each socket has queues for sending and receiving data.
 .Pp