diff --git a/services/web/app/src/Features/Compile/ClsiManager.js b/services/web/app/src/Features/Compile/ClsiManager.js
index 18a596110f..ff05553a7e 100644
--- a/services/web/app/src/Features/Compile/ClsiManager.js
+++ b/services/web/app/src/Features/Compile/ClsiManager.js
@@ -775,10 +775,7 @@ const ClsiManager = {
     }
     if (rootResourcePath == null) {
       if (hasMainFile) {
-        logger.warn(
-          { projectId },
-          'no root document found, setting to main.tex'
-        )
+        logger.log({ projectId }, 'no root document found, setting to main.tex')
         rootResourcePath = 'main.tex'
       } else if (numberOfDocsInProject === 1) {
         // only one file, must be the main document