diff --git a/documentation/bsp-guide/bsp.xml b/documentation/bsp-guide/bsp.xml
index 355c716ff9..a1d91031e4 100644
--- a/documentation/bsp-guide/bsp.xml
+++ b/documentation/bsp-guide/bsp.xml
@@ -696,7 +696,7 @@
Furthermore, there are machine-specific settings used
during the build that are defined by the
machconfig file further down in
- the directory (i.e. formfactor/rpi/).
+ the directory (i.e. formfactor/rpi/).
Here is the machconfig file for
the Raspberry Pi BSP: