diff --git a/policy/modules/services/consolekit.te b/policy/modules/services/consolekit.te
index dd71359ee..46cd22287 100644
--- a/policy/modules/services/consolekit.te
+++ b/policy/modules/services/consolekit.te
@@ -72,8 +72,6 @@ miscfiles_read_localization(consolekit_t)
 userdom_dontaudit_read_user_home_content_files(consolekit_t)
 userdom_read_user_tmp_files(consolekit_t)
 
-hal_ptrace(consolekit_t)
-
 tunable_policy(`use_nfs_home_dirs',`
 	fs_read_nfs_files(consolekit_t)
 ')
@@ -98,6 +96,10 @@ optional_policy(`
 	')
 ')
 
+optional_policy(`
+	hal_ptrace(consolekit_t)
+')
+
 optional_policy(`
 	policykit_dbus_chat(consolekit_t)
 	policykit_domtrans_auth(consolekit_t)