diff --git a/en_US.ISO8859-1/books/faq/book.xml b/en_US.ISO8859-1/books/faq/book.xml
index 3a2217421a..d193f6088a 100644
--- a/en_US.ISO8859-1/books/faq/book.xml
+++ b/en_US.ISO8859-1/books/faq/book.xml
@@ -1466,7 +1466,7 @@
 	    kernel contains the drivers an ordinary computer will
 	    need.  &man.freebsd-update.8;, the &os; binary upgrade
 	    tool, cannot upgrade custom kernels, another reason
-	    to stick with the GENERIC kernel when possible.
+	    to stick with the <literal>GENERIC</literal> kernel when possible.
 	    For computers with very limited RAM, such as
 	    embedded systems, it may be worthwhile to build a
 	    smaller custom kernel containing just the required
@@ -3297,7 +3297,7 @@ kern.timecounter.hardware: TSC -&gt; i8254</screen>
 	</question>
 
 	<answer>
-	  <para>GENERIC kernels shipped with &os; and later are compiled
+	  <para><literal>GENERIC</literal> kernels shipped with &os; and later are compiled
 	    in <emphasis>debug mode</emphasis>. Kernels built in debug mode
 	    contain many symbols in separate files that are used for
 	    debugging, thus greatly increasing the size of
@@ -3307,14 +3307,14 @@ kern.timecounter.hardware: TSC -&gt; i8254</screen>
 	    in case of a system panic.</para>
 
 	  <para>However, if you are running low on disk space, there are
-	    different options to reduce the size of /boot/kernel/.</para>
+	    different options to reduce the size of <filename>/boot/kernel/</filename>.</para>
 
 	  <para>If you do not want the symbol files to be installed,
-	    make sure you have the following line present in /etc/src.conf:
+	    make sure you have the following line present in <filename>/etc/src.conf</filename>:</para>
 
 	    <programlisting>WITHOUT_KERNEL_SYMBOLS=yes</programlisting>
 
-	    For more information see &man.src.conf.5</para>
+	    <para>For more information see &man.src.conf.5;.</para>
 
 	  <para>If you do not want to build a debug kernel, make
 	    sure that both of the following are true:</para>
@@ -3335,11 +3335,11 @@ kern.timecounter.hardware: TSC -&gt; i8254</screen>
 
 	  <para>Either of the above settings will cause your kernel to
 	    be built in debug mode.  As long as you make sure you follow
-	    the steps above, you can build your kernel normally</para>
+	    the steps above, you can build your kernel normally.</para>
 
 	  <para>If you want only the modules you use to be built
 	    and installed, make sure you have a line like below in
-	    /etc/make.conf:</para>
+	    <filename>/etc/make.conf</filename>:</para>
 
 	  <programlisting>MODULES_OVERRIDE= <replaceable>accf_http ipfw</replaceable></programlisting>
 
@@ -3348,7 +3348,7 @@ kern.timecounter.hardware: TSC -&gt; i8254</screen>
 	    does not only reduce the size of the kernel directory but
 	    also decreases the amount of time needed to build your kernel.
 	    For more information see
-	    <filename>/usr/share/examples/etc/make.conf</filename>
+	    <filename>/usr/share/examples/etc/make.conf</filename>.
 	    </para>
 
 	  <para>You can also remove unneeded devices from your kernel
@@ -3359,7 +3359,7 @@ kern.timecounter.hardware: TSC -&gt; i8254</screen>
 	    to <ulink url="&url.books.handbook;/kernelconfig-building.html">build and install</ulink>
 	    your new kernel.</para>
 
-	  <para>Most kernels (/boot/kernel/kernel)
+	  <para>Most kernels (<filename>/boot/kernel/kernel</filename>)
 	    tend to be around 12&nbsp;MB to 16&nbsp;MB.</para>
 	</answer>
       </qandaentry>