diff --git a/en_US.ISO8859-1/articles/laptop/article.sgml b/en_US.ISO8859-1/articles/laptop/article.sgml
index 83ee699425..13048d44e6 100644
--- a/en_US.ISO8859-1/articles/laptop/article.sgml
+++ b/en_US.ISO8859-1/articles/laptop/article.sgml
@@ -89,7 +89,7 @@
       <quote>winmodems</quote> whose
       functionality is implemented in software, for which only windows
       drivers are normally available (though a few drivers are beginning 
-      to show up for other operating systems).  Otherwise, you
+      to show up for other operating systems).  If that is the case, you
       need to buy an external modem: the most compact option is
       probably a PC Card (PCMCIA) modem, discussed below, but 
       serial or USB modems may be cheaper.  Generally, regular 
@@ -103,7 +103,7 @@
 
     <para> Most laptops come with PCMCIA (also called PC Card)
       slots; these are supported fine under FreeBSD.  Look through
-      your boot-up messages (using dmesg) and see whether these were
+      your boot-up messages (using <command>dmesg</command>) and see whether these were
       detected correctly (they should appear as
       <devicename>pccard0</devicename>,
       <devicename>pccard1</devicename> etc on devices like
@@ -117,7 +117,7 @@
       particular most modems (16-bit) should work fine, provided they 
       are not winmodems (these do exist even as PC Cards, so watch out).  
       If your card is recognised as a generic modem, note that the
-      default pccard.conf file specifies a delay time of 10 seconds
+      default <filename>pccard.conf</filename> file specifies a delay time of 10 seconds
       (to avoid freezes on certain modems); this may well be
       over-cautious for your modem, so you may want to play with it,
       reducing it or removing it totally.</para>
@@ -131,10 +131,10 @@
       allowed values (listed in the manual page &man.pccardc.8;).
     </para>
 
-    <para>If it is not running already, start the pccardd daemon.
+    <para>If it is not running already, start the <command>pccardd</command> daemon.
       (To enable it at boot time, add
       <programlisting>pccard_enable="YES"</programlisting> to
-      <filename>/etc/rc.conf</filename>).  Now your cards should be
+      <filename>/etc/rc.conf</filename>.)  Now your cards should be
       detected when you insert and remove them, and you should get
       log messages about new devices being enabled.</para>
 
@@ -175,7 +175,7 @@
 
     <para>The X window system (XFree86) also includes display power
       management (look at the &man.xset.1; manual page, and search for
-      dpms there).  You may want to investigate this.  However, this, 
+      <quote>dpms</quote> there).  You may want to investigate this.  However, this, 
       too, works inconsistently on laptops: it
       often turns off the display but does not turn off the
       backlight.</para>