diff --git a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
index 5606e676b..7c422a523 100644
--- a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
+++ b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@@ -1598,7 +1598,7 @@ \section{Characters and strings}
 simply, by using a smaller bit size for the constant {\tt 1}:
 \begin{Verbatim}
   Cryptol> [(1:[2])...]
-  [1, 2, 3, 0, 1 ...
+  [1, 2, 3, 0, 1 ...]
   Cryptol> take`{20} [(1:[2])...]
   [1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0]
 \end{Verbatim}