diff --git a/Documentation/boards/efi.rst b/Documentation/boards/efi.rst
index 2178c9a..f04b1d3 100644
--- a/Documentation/boards/efi.rst
+++ b/Documentation/boards/efi.rst
@@ -350,7 +350,7 @@
 
 Current linux kernel (v5.0) will execute ExitBootServices() during the early
 boot stage and thus will automatically disable the (U)EFI watchdog. Since it is
-a proper behavior according to the (U)EFI specification, it is impossible to
+the proper behavior according to the (U)EFI specification, it is impossible to
 protect full boot chain by using this watchdog only. It is recommended to use
 an alternative hardware watchdog, preferably started before the bootloader. If (U)EFI
 firmware lacks this feature, the bootloader should be able to start an alternative