diff --git a/services/web/app/views/project/editor/pdf.jade b/services/web/app/views/project/editor/pdf.jade
index 844f0f51dc..492f75f582 100644
--- a/services/web/app/views/project/editor/pdf.jade
+++ b/services/web/app/views/project/editor/pdf.jade
@@ -36,13 +36,11 @@ div.full-size.pdf(ng-controller="PdfController")
 						i.fa.fa-fw(ng-class="{'fa-check': draft}")
 						|  #{translate("fast")} 
 						span.subdued [draft]
-				if user.betaProgram
-					li.dropdown-header #{translate("file_checks")}
-					li
-						a(href, ng-click="recompile({check:true})")
-							i.fa.fa-fw()
-							|  #{translate("run_syntax_check")}
-							span.beta-feature-badge
+				li.dropdown-header #{translate("file_checks")}
+				li
+					a(href, ng-click="recompile({check:true})")
+						i.fa.fa-fw()
+						|  #{translate("run_syntax_check")}
 		a(
 			href
 			ng-click="stop()"