diff --git a/site/news/10.md b/site/news/10.md
index 9f5953f..eaab0df 100644
--- a/site/news/10.md
+++ b/site/news/10.md
@@ -1375,7 +1375,7 @@ infinitely more efficient.
 
 Many new boards have been added. Many new features. *Non-coreboot* firmware
 is now supported; for example, the (libre) stm32-vserprog and pico-serprog
-code is now used by Libreboot, to provides serprog firmware on many STM32-
+code is now used by Libreboot, to provide serprog firmware on many STM32-
 and RP2040-based microcontroller boards; we use them as SPI flashers, but you
 can use them for many other purposes. They're quite handy little machines. The
 serprog firmware integration was done by Riku Viitanen, who also added many