diff --git a/site/docs/install/index.md b/site/docs/install/index.md
index fa6c680..3ed0252 100644
--- a/site/docs/install/index.md
+++ b/site/docs/install/index.md
@@ -1,11 +1,16 @@
 ---
-title: Install Libreboot Open Source BIOS/UEFI firmware
+title: Install Libreboot Open Source BIOS/UEFI boot firmware
 x-toc-enable: true
 ...
 
-Open source BIOS/UEFI firmware
+Open source BIOS/UEFI boot firmware
 ------------------------------
 
+With x86 machines, you can use the SeaBIOS or the GNU boot loader named GRUB as
+a payload. On ARM
+systems, you can use the U-Boot payload (coreboot still initialises hardware).
+An x86/x86\_64 U-Boot UEFI payload is also available.
+
 This article will teach you how to install Libreboot, on any of the supported
 laptop, desktop and server motherboards of Intel/AMD x86/x86\_64 and ARM64
 platform.
@@ -64,9 +69,6 @@ build system can be found in the [lbmk maintenance manual](../maintain/),
 and information about porting new systems in
 the [porting manual](../maintain/porting.md).
 
-With x86 machines, you can use the SeaBIOS or GRUB bootloader payloads. On ARM
-systems, you can use the U-Boot payload (coreboot still initialises hardware).
-
 Libreboot currently supports the following systems:
 
 ### Games consoles