diff --git a/projects/RPi/options b/projects/RPi/options
index 0151033f93..172f569997 100644
--- a/projects/RPi/options
+++ b/projects/RPi/options
@@ -16,7 +16,7 @@
 
         # TARGET_FLOAT:
         # Specifies which floating-point ABI to use. Permissible values are:
-        # soft softfp hard
+        # soft hard
         TARGET_FLOAT="hard"
 
         # Valid TARGET_FPU for Raspberry Pi based devices: