diff --git a/site/docs/uboot/uboot-x86.md b/site/docs/uboot/uboot-x86.md
index 03745dd..0974e3b 100644
--- a/site/docs/uboot/uboot-x86.md
+++ b/site/docs/uboot/uboot-x86.md
@@ -28,6 +28,8 @@ reliably boot many Linux and BSD systems.
Availability
------------
+
+
Do this in lbmk.git (Libreboot's build system) to check whether your board has
U-Boot enabled:
@@ -53,8 +55,6 @@ Here is an example of what it looks like on the boot menu:
Boot Linux/BSD installer (USB)
---------------------------
-
-
Just stick your formatted USB stick in. U-Boot should detect it. Sometimes some
USB flash drives are broken, because many of them violate specifications and
U-Boot doesn't properly hack around that like Linux does (buggy USB mass storage