diff --git a/docs/plat/rpi3.rst b/docs/plat/rpi3.rst
index 2f37551..a22bfc6 100644
--- a/docs/plat/rpi3.rst
+++ b/docs/plat/rpi3.rst
@@ -236,9 +236,9 @@
   enables the default UART (currently UART1) for runtime messages.
 
 - ``RPI3_USE_UEFI_MAP``: Set to 1 to build ATF with the altername memory
-   mapping required for an UEFI firmware payload. These changes are needed
-   to be able to run Windows on ARM64. This option, which is disabled by
-   default, results in the following memory mappings:
+  mapping required for an UEFI firmware payload. These changes are needed
+  to be able to run Windows on ARM64. This option, which is disabled by
+  default, results in the following memory mappings:
 
 ::
 
@@ -269,7 +269,6 @@
     0x3F000000 +-----------------+
                |       I/O       |
 
-
 - ``BL32``: This port can load and run OP-TEE. The OP-TEE image is optional.
   Please use the code from `here <https://github.com/OP-TEE/optee_os>`__.
   Build the Trusted Firmware with option ``BL32=tee-header_v2.bin