===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/63.html,v
retrieving revision 1.84
retrieving revision 1.85
diff -u -r1.84 -r1.85
--- www/63.html	2019/06/12 20:57:17	1.84
+++ www/63.html	2019/06/13 05:33:57	1.85
@@ -905,6 +905,7 @@
 # <kbd>tar xvfz /tmp/src.tar.gz</kbd>
 </pre></blockquote>
 
+<p>
 <code>sys.tar.gz</code> contains a source archive starting at <code>/usr/src/sys</code>.
 This file contains all the kernel sources you need to rebuild kernels.
 To extract:
@@ -915,6 +916,7 @@
 # <kbd>tar xvfz /tmp/sys.tar.gz</kbd>
 </pre></blockquote>
 
+<p>
 Both of these trees are a regular CVS checkout.  Using these trees it
 is possible to get a head-start on using the anoncvs servers as
 described <a href="anoncvs.html">here</a>.
@@ -935,6 +937,7 @@
 # <kbd>tar xvfz /tmp/ports.tar.gz</kbd>
 </pre></blockquote>
 
+<p>
 Go read the <a href="faq/ports/index.html">ports</a> page
 if you know nothing about ports
 at this point.  This text is not a manual of how to use ports.
@@ -953,6 +956,7 @@
 # <kbd>cvs -d anoncvs@server.openbsd.org:/cvs update -Pd -rOPENBSD_6_3</kbd>
 </pre></blockquote>
 
+<p>
 [Of course, you must replace the server name here with a nearby anoncvs
 server.]
 <p>