diff --git a/refpolicy/policy/modules/kernel/kernel.if b/refpolicy/policy/modules/kernel/kernel.if
index 26c7d2d..39521c1 100644
--- a/refpolicy/policy/modules/kernel/kernel.if
+++ b/refpolicy/policy/modules/kernel/kernel.if
@@ -122,7 +122,7 @@ interface(`kernel_dontaudit_use_fd',`
 ')
 
 ########################################
-## <system>
+## <summary>
 ##	Read and write kernel unnamed pipes.
 ## </summary>
 ## <param name="domain">
diff --git a/refpolicy/policy/modules/system/files.if b/refpolicy/policy/modules/system/files.if
index 6a8faad..a8f2cc8 100644
--- a/refpolicy/policy/modules/system/files.if
+++ b/refpolicy/policy/modules/system/files.if
@@ -1052,6 +1052,7 @@ interface(`files_manage_mnt_dirs',`
 ## <summary>
 ##	List world-readable directories.
 ## </summary>
+## <param name="domain">
 ##	Domain allowed access.
 ## </param>
 #
@@ -1068,6 +1069,7 @@ interface(`files_list_world_readable',`
 ## <summary>
 ##	Read world-readable files.
 ## </summary>
+## <param name="domain">
 ##	Domain allowed access.
 ## </param>
 #
@@ -1084,6 +1086,7 @@ interface(`files_read_world_readable_files',`
 ## <summary>
 ##	Read world-readable symbolic links.
 ## </summary>
+## <param name="domain">
 ##	Domain allowed access.
 ## </param>
 #
@@ -1100,6 +1103,7 @@ interface(`files_read_world_readable_symlinks',`
 ## <summary>
 ##	Read world-readable named pipes.
 ## </summary>
+## <param name="domain">
 ##	Domain allowed access.
 ## </param>
 #
@@ -1116,6 +1120,7 @@ interface(`files_read_world_readable_pipes',`
 ## <summary>
 ##	Read world-readable sockets.
 ## </summary>
+## <param name="domain">
 ##	Domain allowed access.
 ## </param>
 #