diff --git a/spec/r7rs.pdf b/spec/r7rs.pdf
index ae261ee..60bfbec 100644
Binary files a/spec/r7rs.pdf and b/spec/r7rs.pdf differ
diff --git a/spec/sem.tex b/spec/sem.tex
index 173e50d..a2846a8 100644
--- a/spec/sem.tex
+++ b/spec/sem.tex
@@ -473,7 +473,7 @@ \subsection{Auxiliary functions}
 \begin{semfun}
 \fun{cons}          :  \arbno{\EXP} \to \DP \to \EC \to \CC$\\$
 \fun{cons} =$\\
- \go{1}$\fun{twoarg}\,(\lambda\epsilon_1\epsilon_2\kappa\omega\sigma\:.\:
+ \go{1}$\fun{twoarg}\,(\lambda\epsilon_1\epsilon_2\omega\kappa\sigma\:.\:
    $\=$\fun{new}\:\sigma\:\elem\:\LOC\rightarrow$\\
     \> 
         \=$(\lambda\sigma^\prime\:.\:
@@ -532,7 +532,7 @@ \subsection{Auxiliary functions}
 \begin{semfun}
 \fun{car-internal}          :  \EXP \to \EC \to \CC$\\$
 \fun{car-internal} =
- $\go{1}$\lambda\epsilon\omega\kappa\:.\:
+ $\go{1}$\lambda\epsilon\kappa\:.\:
    $\=$\fun{hold}\, (\epsilon\:\vert\:\PAI\elt 1) \kappa
 \end{semfun}
 
@@ -765,7 +765,7 @@ \subsection{Auxiliary functions}
 \fun{cwv} =$\\
  \go{1}$\fun{twoarg}\,(\lambda\epsilon_1\epsilon_2\omega\kappa\:.\:
    $\=$\fun{applicate}\:\epsilon_1\langle\:\rangle\omega
-(\lambda\arbno{\epsilon}\:.\:\fun{applicate}\:\epsilon_2\:\arbno{\epsilon}\omega))
+(\lambda\arbno{\epsilon}\:.\:\fun{applicate}\:\epsilon_2\:\arbno{\epsilon}\omega\kappa))
 \end{semfun}
 
 \egroup  % end smallish