diff --git a/website/content/en/status/report-2023-04-2023-06/kboot.adoc b/website/content/en/status/report-2023-04-2023-06/kboot.adoc
index 445ddfa7c521..747a9045e884 100644
--- a/website/content/en/status/report-2023-04-2023-06/kboot.adoc
+++ b/website/content/en/status/report-2023-04-2023-06/kboot.adoc
@@ -8,7 +8,7 @@ link:https://docs.google.com/presentation/d/1N5Jp6XzYWv9Z9RhhETC-e6tFkqRHvp-ldRD
 
 LinuxBoot is an effort to create a clean, robust, auditable and repeatable boot firmware.
 What originally started as a specific project at Google has grown to encompass any boot environment that uses Linux to launch the final operating system.
-Many platfors now support this environment, in some cases it is the only available boot environment.
+Many platforms now support this environment, and in some cases it is the only available boot environment.
 In addition, some embedded boxes have a LinuxBoot environment hard-coded that is quite hard to change, and being able to reboot into FreeBSD is desirable.
 
 The old Sony PlayStation 3 port used a boot loader called 'kboot' to boot the FreeBSD port from its Linux kernel (all predating the LinuxBoot project).