diff --git a/site/docs/hardware/r400.md b/site/docs/hardware/r400.md
index 94bd259..61492ff 100644
--- a/site/docs/hardware/r400.md
+++ b/site/docs/hardware/r400.md
@@ -51,11 +51,17 @@ P*: Partially works with blobs
 | **SeaBIOS**               | Works     |
 | **SeaBIOS with GRUB** | Works     |
 </div>
+Dell Latitude E6400
+===================
+
 **If you haven't bought an R400 yet: the [Dell Latitude
 E6400](../../news/e6400.md) is much easier to flash; no disassembly required,
 it can be flashed entirely in software from Dell BIOS to Libreboot. It is the
 same hardware generation (GM45), with same CPUs, video processor, etc.**
 
+Introduction
+============
+
 It is believed that all or most R400 laptops are compatible. See notes
 about [CPU
 compatibility](../install/r400_external.html#cpu_compatibility) for
diff --git a/site/docs/hardware/r500.md b/site/docs/hardware/r500.md
index 727ce91..3454432 100644
--- a/site/docs/hardware/r500.md
+++ b/site/docs/hardware/r500.md
@@ -50,11 +50,17 @@ P*: Partially works with blobs
 | **SeaBIOS**               | Works     |
 | **SeaBIOS with GRUB** | Works     |
 </div>
+Dell Latitude E6400
+===================
+
 **If you haven't bought an R500 yet: the [Dell Latitude
 E6400](../../news/e6400.md) is much easier to flash; no disassembly required,
 it can be flashed entirely in software from Dell BIOS to Libreboot. It is the
 same hardware generation (GM45), with same CPUs, video processor, etc.**
 
+Introduction
+============
+
 This board as basically identical to the T500, and has very similar disassembly.
 You must take it apart and flash the chip externally.
 
diff --git a/site/docs/hardware/t400.md b/site/docs/hardware/t400.md
index ec97116..24cd544 100644
--- a/site/docs/hardware/t400.md
+++ b/site/docs/hardware/t400.md
@@ -50,6 +50,9 @@ P*: Partially works with blobs
 | **SeaBIOS**               | Works     |
 | **SeaBIOS with GRUB** | Works     |
 </div>
+Dell Latitude E6400
+===================
+
 **If you haven't bought an T400 yet: the [Dell Latitude
 E6400](../../news/e6400.md) is much easier to flash; no disassembly required,
 it can be flashed entirely in software from Dell BIOS to Libreboot. It is the
diff --git a/site/docs/hardware/t500.md b/site/docs/hardware/t500.md
index b370789..124bc5a 100644
--- a/site/docs/hardware/t500.md
+++ b/site/docs/hardware/t500.md
@@ -50,6 +50,9 @@ P*: Partially works with blobs
 | **SeaBIOS**               | Works     |
 | **SeaBIOS with GRUB** | Works     |
 </div>
+Dell Latitude E6400
+===================
+
 **If you haven't bought an T500 yet: the [Dell Latitude
 E6400](../../news/e6400.md) is much easier to flash; no disassembly required,
 it can be flashed entirely in software from Dell BIOS to Libreboot. It is the
diff --git a/site/docs/hardware/x200.md b/site/docs/hardware/x200.md
index 0b34f3f..91fcf7c 100644
--- a/site/docs/hardware/x200.md
+++ b/site/docs/hardware/x200.md
@@ -48,6 +48,8 @@ P*: Partially works with blobs
 | **SeaBIOS**               | Works     |
 | **SeaBIOS with GRUB** | Works     |
 </div>
+Dell Latitude E6400
+===================
 
 **If you haven't bought an X200 yet: the [Dell Latitude
 E6400](../../news/e6400.md) is much easier to flash; no disassembly required,
diff --git a/site/docs/install/t400_external.md b/site/docs/install/t400_external.md
index b9f797b..3bcb9fe 100644
--- a/site/docs/install/t400_external.md
+++ b/site/docs/install/t400_external.md
@@ -3,11 +3,17 @@ title: Flashing the ThinkPad T400 externally
 x-toc-enable: true
 ...
 
+Dell Latitude E6400
+===================
+
 **If you haven't bought an T400 yet: the [Dell Latitude
 E6400](../../news/e6400.md) is much easier to flash; no disassembly required,
 it can be flashed entirely in software from Dell BIOS to Libreboot. It is the
 same hardware generation (GM45), with same CPUs, video processor, etc.**
 
+Introduction
+============
+
 Initial flashing instructions for T400.
 
 This guide is for those who want libreboot on their ThinkPad T400 while