diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index dd9420c40f7..4c82a23befa 100644
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -19,3 +19,5 @@ sinisa@work.mysql.com
 tim@localhost.polyesthetic.msg
 tim@work.mysql.com
 tonu@work.mysql.com
+jcole@nslinux.bedford.progress.com
+nusphere@main.burghcom.com
diff --git a/Docs/manual.texi b/Docs/manual.texi
index 542c9464ab2..ba218cddd4f 100644
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -2609,7 +2609,7 @@ The manufacturer and model of the machine you are working on.
 
 @item
 The operating system name and version. For most operating systems, you can
-get this information by executing the Unix command @code{uname -a}.
+get this information by executing the UNIX command @code{uname -a}.
 
 @item
 Sometimes the amount of memory (real and virtual) is relevant.