diff --git a/en_US.ISO8859-1/articles/laptop/article.sgml b/en_US.ISO8859-1/articles/laptop/article.sgml
index 3bc520d73f..d21fd3f2cc 100644
--- a/en_US.ISO8859-1/articles/laptop/article.sgml
+++ b/en_US.ISO8859-1/articles/laptop/article.sgml
@@ -42,7 +42,10 @@
       part of the &os; documentation.  You might very well find some
       information if you type the name of your laptop model and the
       word <quote>&os;</quote> into a search engine of your
-      choice.</para>
+      choice.  Additionally there is a &os;-specific online database
+      which aims to give information on hardware issues with laptops,
+      the <ulink url="http://gerda.univie.ac.at/freebsd-laptops/">&os;
+      Laptops Compatibility List</ulink>.</para>
 
   <sect1>    
     <title>XFree86</title>
@@ -145,8 +148,8 @@
       log messages about new devices being enabled.</para>
 
     <para>There have been major changes to the pccard code
-      (including ISA routing of interrupts, for machines whose
-      PCI BIOS FreeBSD can not seem to use) before the FreeBSD 4.4
+      (including ISA routing of interrupts, for machines where
+      &os; is not able to use the PCI BIOS) before the &os;&nbsp;4.4
       release.  If you have problems, try upgrading your system.</para>
  
   </sect1>