diff --git a/ports/rp2/boards/PI-PLATES_MICROPI/mpconfigboard.h b/ports/rp2/boards/PI-PLATES_MICROPI/mpconfigboard.h
index a29aa75189..0590f72fdc 100644
--- a/ports/rp2/boards/PI-PLATES_MICROPI/mpconfigboard.h
+++ b/ports/rp2/boards/PI-PLATES_MICROPI/mpconfigboard.h
@@ -1,6 +1,6 @@
 // Board and hardware specific configuration
 #define MICROPY_HW_BOARD_NAME                   "MICROpi"
-#define MICROPY_HW_FLASH_STORAGE_BYTES          (15* 1024 * 1024)
+#define MICROPY_HW_FLASH_STORAGE_BYTES          (15 * 1024 * 1024)
 
 #define MICROPY_HW_USB_VID (0x2E8A)
 #define MICROPY_HW_USB_PID (0x1065)