diff --git a/doc/src/sgml/dummy-seclabel.sgml b/doc/src/sgml/dummy-seclabel.sgml
index 5b5089c201f..30d58198fb9 100644
--- a/doc/src/sgml/dummy-seclabel.sgml
+++ b/doc/src/sgml/dummy-seclabel.sgml
@@ -51,10 +51,9 @@ SECURITY LABEL
- The dummy_seclabel> provides only four hardcoded
+ The dummy_seclabel> module provides only four hardcoded
labels: unclassified>, classified>,
- secret>, top secret> and trusted>.
-
+ secret>, and top secret>.
It does not allow any other strings as security labels.