diff --git a/src/machine/machine_rp2_2040.go b/src/machine/machine_rp2_2040.go
index bcb24bd87c..158c77a61f 100644
--- a/src/machine/machine_rp2_2040.go
+++ b/src/machine/machine_rp2_2040.go
@@ -115,15 +115,15 @@ const (
 
 // System clock configuration
 const (
-	pllSysFreq uint32 = 125*MHz
-	pllSysVcoFreq = 1500*MHz
-	pllSysPostDiv1 = 6
-	pllSysPostDiv2 = 2
-
-	pllUSBFreq uint32 = 48*MHz
-	pllUSBVcoFreq = 480*MHz
-	pllUSBPostDiv1 = 5
-	pllUSBPostDiv2 = 2
+	pllSysFreq     uint32 = 125 * MHz
+	pllSysVcoFreq         = 1500 * MHz
+	pllSysPostDiv1        = 6
+	pllSysPostDiv2        = 2
+
+	pllUSBFreq     uint32 = 48 * MHz
+	pllUSBVcoFreq         = 480 * MHz
+	pllUSBPostDiv1        = 5
+	pllUSBPostDiv2        = 2
 )
 
 // Configure configures the gpio pin as per mode.
diff --git a/src/machine/machine_rp2_2350.go b/src/machine/machine_rp2_2350.go
index 329e301fee..190d1f3284 100644
--- a/src/machine/machine_rp2_2350.go
+++ b/src/machine/machine_rp2_2350.go
@@ -123,15 +123,15 @@ const (
 // System clock configuration
 // Note that VcoFreq, PostDiv1, and PostDiv2 must be manually calculated to achive desired output frequency.
 const (
-	pllSysFreq uint32 = 150*MHz
-	pllSysVcoFreq = 1500*MHz
-	pllSysPostDiv1 = 5
-	pllSysPostDiv2 = 2
-
-	pllUSBFreq uint32 = 48*MHz
-	pllUSBVcoFreq = 480*MHz
-	pllUSBPostDiv1 = 5
-	pllUSBPostDiv2 = 2
+	pllSysFreq     uint32 = 150 * MHz
+	pllSysVcoFreq         = 1500 * MHz
+	pllSysPostDiv1        = 5
+	pllSysPostDiv2        = 2
+
+	pllUSBFreq     uint32 = 48 * MHz
+	pllUSBVcoFreq         = 480 * MHz
+	pllUSBPostDiv1        = 5
+	pllUSBPostDiv2        = 2
 )
 
 // Configure configures the gpio pin as per mode.