Minor corrections to dummy_seclabel documentation.

Problems noted by Thom Brown.

diff --git a/doc/src/sgml/dummy-seclabel.sgml b/doc/src/sgml/dummy-seclabel.sgml
index 5b5089c201f38c9f91ff33be3f79a9bbdd8575cb..30d58198fb9cd8f6a43a0c9fb1d6950c0e8f3019 100644 (file)
--- 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.