diff --git a/roles/taskotron/taskotron-client/files/service-virt-transition.te b/roles/taskotron/taskotron-client/files/service-virt-transition.te
index 8b83ac5af6..1635df6708 100644
--- a/roles/taskotron/taskotron-client/files/service-virt-transition.te
+++ b/roles/taskotron/taskotron-client/files/service-virt-transition.te
@@ -1,4 +1,12 @@
-============= unconfined_service_t ==============
+
+module service-virt-transition 1.0;
+
+require {
+        type unconfined_service_t;
+        type svirt_t;
+        class process transition;
+}
+
+#============= unconfined_service_t ==============
 
 allow unconfined_service_t svirt_t:process transition;
-