diff --git a/docs/cmu-user/unicode.tex b/docs/cmu-user/unicode.tex
index f49f29a59ae0033d8a60bcb3629abf43fa85ad20..e42c2321f14bfbb6a21b6009a7a5f8b4bc53fbd9 100644
--- a/docs/cmu-user/unicode.tex
+++ b/docs/cmu-user/unicode.tex
@@ -80,7 +80,7 @@ For files, \code{OPEN} takes the \kwd{external-format}
 parameter to specify the format.  The default external format is
 \kwd{default}. 
 
-\begin{defun}{stream}{set-system-external-format}{\var{terminal} \ampoptional \var{filenames}}
+\begin{defun}{stream:}{set-system-external-format}{\var{terminal} \ampoptional{} \var{filenames}}
   This function changes the external format used for
   \var{*standard-input*}, \var{*standard-output*}, and
   \var{*standard-error*} to the external format specified by