diff --git a/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js b/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js
index bbf042cd39..6f55d2a904 100644
--- a/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js
+++ b/services/web/frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js
@@ -298,7 +298,7 @@ const read1name = function (TokeniseResult, k) {
 const read1filename = function (TokeniseResult, k) {
   // read an filename foo_bar.tex
   const Tokens = TokeniseResult.tokens
-  const text = TokeniseResult.lett
+  const text = TokeniseResult.text
 
   let fileName = ''
   let j, tok