diff --git a/armsrc/ticks.c b/armsrc/ticks.c
index 18bca7f5a..610afb5a2 100644
--- a/armsrc/ticks.c
+++ b/armsrc/ticks.c
@@ -16,7 +16,6 @@ void SpinDelayUs(int us) {
     int ticks = ((MCK / 1000000) * us + 512) >> 10;
 
     // Borrow a PWM unit for my real-time clock
-    // This resets PWMC_CPRDR as well
     AT91C_BASE_PWMC->PWMC_ENA = PWM_CHANNEL(0);
 
     // 48 MHz / 1024 gives 46.875 kHz
diff --git a/armsrc/util.c b/armsrc/util.c
index cb8668783..a691766d0 100644
--- a/armsrc/util.c
+++ b/armsrc/util.c
@@ -189,7 +189,6 @@ int BUTTON_CLICKED(int ms) {
         return BUTTON_NO_CLICK;
 
     // Borrow a PWM unit for my real-time clock
-    // This resets PWMC_CPRDR as well
     AT91C_BASE_PWMC->PWMC_ENA = PWM_CHANNEL(0);
     // 48 MHz / 1024 gives 46.875 kHz
     AT91C_BASE_PWMC_CH0->PWMC_CMR = PWM_CH_MODE_PRESCALER(10);
@@ -254,7 +253,6 @@ int BUTTON_HELD(int ms) {
         return BUTTON_NO_CLICK;
 
     // Borrow a PWM unit for my real-time clock
-    // This resets PWMC_CPRDR as well
     AT91C_BASE_PWMC->PWMC_ENA = PWM_CHANNEL(0);
     // 48 MHz / 1024 gives 46.875 kHz
     AT91C_BASE_PWMC_CH0->PWMC_CMR = PWM_CH_MODE_PRESCALER(10);