diff --git a/man/man1/mred.1 b/man/man1/mred.1
index 02e58dc8..4d5026f1 100644
--- a/man/man1/mred.1
+++ b/man/man1/mred.1
@@ -129,7 +129,7 @@ Like -r, but also sets the directory.
 Same as 
 .BR -dmv- .
 .TP
-.B \-s, --stdio
+.B \-z, --stdio
 Use stdio REPL. Same as
 .BR -ve \ '(read-eval-print-loop)'.
 .TP
@@ -156,9 +156,6 @@ Identifiers and symbols are initially case-sensitive.
 .B \-c, --esc-cont
 Call/cc is replaced with call/ec.
 .TP
-.B \-k, --const-globs
-Builtin globals are constant.
-.TP
 .B \-s, --set-undef
 Set! works on undefined identifiers.
 .TP
@@ -283,8 +280,9 @@ or by e-mail to
 plt-bugs@cs.rice.edu (discouraged)
 .SH AUTHOR
 .I MrEd
-was implemented by Matthew Flatt (mflatt@cs.rice.edu) with
-Robert Bruce Findler (robby@cs.rice.edu), based on
+was implemented by Matthew Flatt (mflatt@cs.utah.edu) with
+Robert Bruce Findler (robby@cs.rice.edu) and
+John Clements (clements@cs.rice.edu), based on
 MzScheme.
 .SH SEE ALSO
 .BR mzscheme(1),
diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1
index 6169ad69..9934d80c 100644
--- a/man/man1/mzscheme.1
+++ b/man/man1/mzscheme.1
@@ -112,9 +112,6 @@ Identifiers and symbols are initially case-sensitive.
 .B \-c, --esc-cont
 Call/cc is replaced with call/ec.
 .TP
-.B \-k, --const-globs
-Builtin globals are constant.
-.TP
 .B \-s, --set-undef
 Set! works on undefined identifiers.
 .TP
@@ -237,7 +234,7 @@ or by e-mail to
 plt-bugs@cs.rice.edu (discouraged)
 .SH AUTHOR
 .I MzScheme
-was implemented by Matthew Flatt (mflatt@cs.rice.edu).
+was implemented by Matthew Flatt (mflatt@cs.utah.edu).
 It uses the conservative garbage collector implemented by Hans 
 Boehm and extended by John Ellis. MzScheme was originally based 
 on libscheme, written by Brent Benson.