diff --git a/src/machine/board_arduino.go b/src/machine/board_arduino.go
index 77c8bf4e..dbf20061 100644
--- a/src/machine/board_arduino.go
+++ b/src/machine/board_arduino.go
@@ -13,6 +13,6 @@ const (
 	ADC1 = 1
 	ADC2 = 2
 	ADC3 = 3
-	ADC4 = 4
-	ADC5 = 5
+	ADC4 = 4 // Used by TWI for SDA
+	ADC5 = 5 // Used by TWI for SCL
 )
diff --git a/src/machine/machine_avr.go b/src/machine/machine_avr.go
index e2fa7da4..2cc5282b 100644
--- a/src/machine/machine_avr.go
+++ b/src/machine/machine_avr.go
@@ -122,16 +122,6 @@ func (pwm PWM) Set(value uint16) {
 	}
 }
 
-// ADC on the Arduino
-const (
-	ADC0 = 0
-	ADC1 = 1
-	ADC2 = 2
-	ADC3 = 3
-	ADC4 = 4 // Used by TWI for SDA
-	ADC5 = 5 // Used by TWI for SCL
-)
-
 // InitADC initializes the registers needed for ADC.
 func InitADC() {
 	// set a2d prescaler so we are inside the desired 50-200 KHz range at 16MHz.