man: minor fixes

diff --git a/man/machine-id.xml b/man/machine-id.xml
index 98c09436ba41a7387519558c8d80266698b9e431..d0bfbd240d75863864151884eb21ccefb3a44e47 100644 (file)
--- a/man/machine-id.xml
+++ b/man/machine-id.xml
@@ -64,7 +64,7 @@
                 random source during system installation and stays
                 constant for all subsequent boots. Optionally, for
                 stateless systems it is generated during runtime at
-                boot.</para>
+                boot if it is found to be empty.</para>
 
                 <para>The machine ID does not change based on user
                 configuration, or when hardware is replaced.</para>

diff --git a/man/os-release.xml b/man/os-release.xml
index 1e4c067c1bddde7eaa10037dd6a4b67e7eb51a05..d8a45b303fbac13bb76a2b958cd4a6ae94e7f0bc 100644 (file)
--- a/man/os-release.xml
+++ b/man/os-release.xml
@@ -165,11 +165,11 @@
                         </varlistentry>
                 </variablelist>
 
-                <para>If you interpreting this file from code or a
-                shell script, use the ID and VERSION_ID fields. When
-                looking for an OS identification string for
-                presentation to the user use the PRETTY_STRING
-                field.</para>
+                <para>If you are reading this file from code or a
+                shell script to determine the OS or a specific version
+                of it, use the ID and VERSION_ID fields. When looking
+                for an OS identification string for presentation to
+                the user use the PRETTY_NAME field.</para>
 
                 <para>Note that operating system vendors may choose
                 not to provide version information, for example to