diff --git a/bochs/docs-html/install.html b/bochs/docs-html/install.html
index 9681b54ae..609342f76 100644
--- a/bochs/docs-html/install.html
+++ b/bochs/docs-html/install.html
@@ -148,6 +148,7 @@ It may be safer to leave out the compress step entirely.  If you are seeing
 the "Could not open vga font" message, try leaving the font uncompressed.
 Whenever you move fonts around or compress/uncompress them, you must run
 mkfontdir again to notify the X server that the fonts have changed.
+<p>
 
 <B>Option 2: installing VGA font in local font directory</B>
 <PRE>