diff --git a/doc/scsh-manual/procnotation.tex b/doc/scsh-manual/procnotation.tex
index 74e9c79..e0ec383 100644
--- a/doc/scsh-manual/procnotation.tex
+++ b/doc/scsh-manual/procnotation.tex
@@ -188,7 +188,7 @@ There are three basic {\Scheme} forms that use extended process forms:
 
 \dfn  {exec-epf} {. \var{epf}} {\noreturn} {syntax}
 \dfnx {\&}       {. \var{epf}} {proc}  {syntax}
-\dfnx {run}      {. \var{epf}} {proc}  {syntax}
+\dfnx {run}      {. \var{epf}} {status}  {syntax}
 \begin{desc}
 \index{exec-epf} \index{\&} \index{run}
 The \ex{(exec-epf . \var{epf})} form nukes the current process: it establishes