diff --git a/src/library/tools/src/gramLatex.y b/src/library/tools/src/gramLatex.y
index bb3c3ac5a12..39fa0d85d9e 100644
--- a/src/library/tools/src/gramLatex.y
+++ b/src/library/tools/src/gramLatex.y
@@ -846,8 +846,8 @@ static int mkVerb(int c)
     
     TEXT_PUSH('\\'); TEXT_PUSH('v'); TEXT_PUSH('e'); TEXT_PUSH('r'); TEXT_PUSH('b');
     TEXT_PUSH(c);
-    while ((c = xxgetc()) != delim) TEXT_PUSH(c);
-    TEXT_PUSH(c);
+    while (((c = xxgetc()) != delim) && c != R_EOF) TEXT_PUSH(c);
+    if (c != R_EOF) TEXT_PUSH(c);
     
     PRESERVE_SV(yylval = mkString2(stext, bp - stext));
     if(stext != st0) free(stext);