diff --git a/docs/Cryptol.pdf b/docs/Cryptol.pdf
index f7b324b2..648020b1 100644
Binary files a/docs/Cryptol.pdf and b/docs/Cryptol.pdf differ
diff --git a/docs/ProgrammingCryptol.pdf b/docs/ProgrammingCryptol.pdf
index f7b324b2..648020b1 100644
Binary files a/docs/ProgrammingCryptol.pdf and b/docs/ProgrammingCryptol.pdf differ
diff --git a/docs/ProgrammingCryptol/enigma/Enigma.tex b/docs/ProgrammingCryptol/enigma/Enigma.tex
index 6f805e84..ca43cd51 100644
--- a/docs/ProgrammingCryptol/enigma/Enigma.tex
+++ b/docs/ProgrammingCryptol/enigma/Enigma.tex
@@ -187,7 +187,7 @@ rotate. We will model this action using the Cryptol function {\tt
 \end{code}
 The function {\tt scramble} takes a triple \texttt{(rotate, c, rotor)}:
 \begin{itemize}
-\item {\tt rotate}: if {\tt True}, this rotor will rotate before
+\item {\tt rotate}: if {\tt True}, this rotor will rotate after
   encryption. Indicates that the notch between this rotor and the
   previous one was engaged,
   \item {\tt c}: the character to encrypt, and