diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if
index 2ae614425..bb507459a 100644
--- a/policy/modules/system/userdomain.if
+++ b/policy/modules/system/userdomain.if
@@ -157,7 +157,7 @@ template(`userdom_base_user_template',`
 ##	This does not allow execute access.
 ##	</p>
 ## </desc>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	The user role
 ##	</summary>
@@ -228,7 +228,7 @@ interface(`userdom_ro_home_role',`
 ##	This does not allow execute access.
 ##	</p>
 ## </desc>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	The user role
 ##	</summary>
@@ -300,7 +300,7 @@ interface(`userdom_manage_home_role',`
 ## <summary>
 ##	Manage user temporary files
 ## </summary>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	Role allowed access.
 ##	</summary>
@@ -363,7 +363,7 @@ interface(`userdom_exec_user_tmp_files',`
 ##	This does not allow execute access.
 ##	</p>
 ## </desc>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	Role allowed access.
 ##	</summary>