diff --git a/ghc/docs/users_guide/using.vsgml b/ghc/docs/users_guide/using.vsgml
index 99e5a7dcdaa87960abcb8ce51ef2f902b8040f20..25acde68010dd4018d5cb4044ca10a45e3ad0dcf 100644
--- a/ghc/docs/users_guide/using.vsgml
+++ b/ghc/docs/users_guide/using.vsgml
@@ -484,7 +484,7 @@ directories'' list.
 
 <tag>@-i@</tag> resets the ``import directories'' list back to nothing.
 
-<tag>@-fno-implicit-prelude@
+<tag>@-fno-implicit-prelude@</tag>
 <nidx>-fno-implicit-prelude option</nidx>
 GHC normally imports @Prelude.hi@ files for you.  If you'd rather it
 didn't, then give it a @-fno-implicit-prelude@ option.  You are
@@ -509,6 +509,8 @@ wish to specify where GHC tells the C compiler to look for @.h@ files.
 it tells the C pre-processor to look...)  For this purpose, use a @-I@
 option in the usual C-ish way.
 
+</descrip>
+
 %************************************************************************
 %*                                                                      *
 <sect2>Other options related to interface files
@@ -746,7 +748,7 @@ of the standard @.hi@ file, use the following syntax in the importing module:
 
 <tscreen> <verb>
 import {-# SOURCE #-} A
-</verb> <tscreen>
+</verb> </tscreen>
 
 The hand-written interface need only contain the bare minimum of
 information needed to get the bootstrapping process started.  For