diff --git a/doc/scsh-manual/sre.tex b/doc/scsh-manual/sre.tex
index 5e95927..52f4e45 100644
--- a/doc/scsh-manual/sre.tex
+++ b/doc/scsh-manual/sre.tex
@@ -1212,7 +1212,7 @@ readable format.
 \end{desc}
 
 \defun {posix-string->regexp}{string}{re}
-\defunx{regexp->posix-string}{re}{string}
+\defunx{regexp->posix-string}{re}{[string syntax-level paren-count submatches-vector]}
 \begin{desc}
 These two functions are the Posix notation parser and unparser.
 That is, \ex{posix-string->regexp} maps a Posix-notation regular
@@ -1249,14 +1249,14 @@ The \ex{\ldots:tsm} accessor returns the total number of submatches
 contained in the regular expression.
 
 \dfn {re-seq?}{x}{boolean}{Type predicate}
-\dfnx{make-re-seq}{re \ldots}{re}{Basic constructor}
-\dfnx{re-seq}{re \ldots}{re}{Smart constructor}
+\dfnx{make-re-seq}{re-list}{re}{Basic constructor}
+\dfnx{re-seq}{re-list}{re}{Smart constructor}
 \dfnx{re-seq:elts}{re}{re-list}{Accessor}
 \dfnx{re-seq:tsm}{re}{integer}{Accessor}
 
 \dfn {re-choice?}{x}{boolean}{Type predicate}
 \dfnx{make-re-choice}{re-list}{re}{Basic constructor}
-\dfnx{re-choice}{re \ldots}{re}{Smart constructor}
+\dfnx{re-choice}{re-list}{re}{Smart constructor}
 \dfnx{re-choice:elts}{re}{re-list}{Accessor}
 \dfnx{re-choice:tsm}{re}{integer}{Accessor}