diff --git a/services/web/frontend/extracted-translations.json b/services/web/frontend/extracted-translations.json
index fc4bc4c77a..4c161cce50 100644
--- a/services/web/frontend/extracted-translations.json
+++ b/services/web/frontend/extracted-translations.json
@@ -1779,6 +1779,7 @@
"sync_with_a_github_repository": "",
"synctex_error_recompile_and_try_again": "",
"synctex_failed": "",
+ "syntax_checks": "",
"syntax_validation": "",
"tab_connecting": "",
"tab_no_longer_connected": "",
diff --git a/services/web/frontend/js/features/pdf-preview/components/pdf-compile-button.tsx b/services/web/frontend/js/features/pdf-preview/components/pdf-compile-button.tsx
index a417605248..188a4e1530 100644
--- a/services/web/frontend/js/features/pdf-preview/components/pdf-compile-button.tsx
+++ b/services/web/frontend/js/features/pdf-preview/components/pdf-compile-button.tsx
@@ -165,7 +165,7 @@ function PdfCompileButton() {