diff --git a/site/docs/uboot/uboot-x86.md b/site/docs/uboot/uboot-x86.md
index 2021b94..bb0f637 100644
--- a/site/docs/uboot/uboot-x86.md
+++ b/site/docs/uboot/uboot-x86.md
@@ -6,7 +6,7 @@ x-toc-enable: true
Introduction
============
-
+
U-Boot is available as a coreboot payload, in Libreboot 20241206 and later,
on x86 boards; on ARM it has been available since late 2022 Libreboot releases.
@@ -28,8 +28,6 @@ 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:
diff --git a/site/news/libreboot20241206.md b/site/news/libreboot20241206.md
index b9d6958..8b39856 100644
--- a/site/news/libreboot20241206.md
+++ b/site/news/libreboot20241206.md
@@ -31,7 +31,7 @@ system; on ARM(chromebooks), we provide *U-Boot* (as a coreboot payload).
U-Boot UEFI payload on x86\_64
------------------------------
-
+
For Libreboot 20241206, today's release, U-Boot is *also* provided as an
optional coreboot payload on x86 machines. This provides a sensible UEFI
@@ -54,8 +54,6 @@ Summarised list of changes
Board support
-------------
-
-
The following boards have been added since the Libreboot 20241008 release:
* **[Lenovo ThinkPad T480](../docs/install/t480.md)** support, implemented by