diff --git a/src/why3doc/doc_lexer.mll b/src/why3doc/doc_lexer.mll
index ac974cebc49846d5912f38b6f596afc1485f0870..9134380138feb427596383c762652cc9707a95a4 100644
--- a/src/why3doc/doc_lexer.mll
+++ b/src/why3doc/doc_lexer.mll
@@ -124,8 +124,9 @@ rule scan fmt empty delayed = parse
             comment fmt true lexbuf;
             pp_print_string fmt "</span>";
             scan fmt false delayed lexbuf }
-  | eof   { if delayed <> "" then
-              fprintf fmt "</pre>\n<div class=\"info\">%s</div>" delayed }
+  | eof   { pp_print_string fmt "</pre>\n";
+            if delayed <> "" then
+              fprintf fmt "<div class=\"info\">%s</div>" delayed }
   | ident as s
           { print_ident fmt lexbuf s;
             scan fmt false delayed lexbuf }