diff --git a/doc/manual/options-to-docbook.xsl b/doc/manual/options-to-docbook.xsl
index 696c16c8648d..1496daf30c67 100644
--- a/doc/manual/options-to-docbook.xsl
+++ b/doc/manual/options-to-docbook.xsl
@@ -75,7 +75,7 @@
 
   <xsl:template match="string">
     <!-- !!! escaping -->
-    "<xsl:value-of select="@value" />"
+    <xsl:text>"</xsl:text><xsl:value-of select="@value" /><xsl:text>"</xsl:text>
   </xsl:template>
   
   
@@ -85,12 +85,12 @@
   
   
   <xsl:template match="bool[@value = 'true']">
-    true
+    <xsl:text>true</xsl:text>
   </xsl:template>
   
   
   <xsl:template match="bool[@value = 'false']">
-    false
+    <xsl:text>false</xsl:text>
   </xsl:template>
   
   
@@ -109,8 +109,7 @@
     <xsl:for-each select="attr">
       <xsl:value-of select="@name" />
       <xsl:text> = </xsl:text>
-      <xsl:apply-templates select="*" />
-      <xsl:text>; </xsl:text>
+      <xsl:apply-templates select="*" /><xsl:text>; </xsl:text>
     </xsl:for-each>
     }
   </xsl:template>
diff --git a/system/options.nix b/system/options.nix
index 9fe8aaa577e2..78128a03f222 100644
--- a/system/options.nix
+++ b/system/options.nix
@@ -1324,7 +1324,7 @@
         key to be used to connect (<varname>sshKey</varname>).  The
         SSH private key should not have a passphrase, and the
         corresponding public key should be added to
-        <filename>~<replaceable>sshUser<replaceable>/authorized_keys</filename>
+        <filename>~<replaceable>sshUser</replaceable>/authorized_keys</filename>
         on the remote machine.
       ";
     };