diff --git a/src/latex.ml b/src/latex.ml
index 3804d07b0..381fc6498 100644
--- a/src/latex.ml
+++ b/src/latex.ml
@@ -261,11 +261,11 @@ let latex_of_markdown str =
     | (Ul list | Ulp list) ->
        "\\begin{itemize}\n\\item "
        ^ Util.string_of_list "\n\\item " format list
-       ^ "\n\\end{itemize}"
+       ^ "\n\\end{itemize}\n"
     | (Ol list | Olp list) ->
        "\\begin{enumerate}\n\\item "
        ^ Util.string_of_list "\n\\item " format list
-       ^ "\n\\end{enumerate}"
+       ^ "\n\\end{enumerate}\n"
     | H1 header -> "\\section*{" ^ (format header) ^ "}\n"
     | H2 header -> "\\subsection*{" ^ (format header) ^ "}\n"
     | H3 header -> "\\subsubsection*{" ^ (format header) ^ "}\n"
diff --git a/test/latex/candperm.commands.tex.exp b/test/latex/candperm.commands.tex.exp
index 561975f53..14153396e 100644
--- a/test/latex/candperm.commands.tex.exp
+++ b/test/latex/candperm.commands.tex.exp
@@ -51,7 +51,8 @@ An exception is raised if:
 \begin{itemize}
 \item \emph{cs1.tag} is not set.
 \item \emph{cs1} is sealed.
-\end{itemize}}{\lstinputlisting[language=sail]{out/fclCAndPermMarkdownWithExceptionszexecute33a689e3a631b9b905b85461d3814943.tex}}}}
+\end{itemize}
+}{\lstinputlisting[language=sail]{out/fclCAndPermMarkdownWithExceptionszexecute33a689e3a631b9b905b85461d3814943.tex}}}}