diff --git a/public/install_recovery.te b/public/install_recovery.te
index 9a2a9ee0521729b87028394b82268d2ab1e139f8..21156634d9cd63d12fa980ba7721a8ea83766341 100644
--- a/public/install_recovery.te
+++ b/public/install_recovery.te
@@ -10,7 +10,7 @@ allow install_recovery shell_exec:file rx_file_perms;
 
 # Execute /system/bin/applypatch
 allow install_recovery system_file:file rx_file_perms;
-not_full_treble(allow install_recovery vendor_file:file rx_file_perms;')
+not_full_treble(`allow install_recovery vendor_file:file rx_file_perms;')
 
 allow install_recovery toolbox_exec:file rx_file_perms;