diff --git a/docs/platform/developing/flashing-rpi.md b/docs/platform/developing/flashing-rpi.md
index 48cdc7863e..183ba3aec5 100644
--- a/docs/platform/developing/flashing-rpi.md
+++ b/docs/platform/developing/flashing-rpi.md
@@ -24,7 +24,7 @@ IoT Setup Manager supports the following operating systems:
 
 ## SD card set up
 
-The SD card must be formated before flashing image into it.
+The SD card must be formatted before flashing image into it.
 
 ### Ubuntu tools