Currently, the digital_pin_to_timer_PGM array in variants/leonardo/pins_arduino.h doesn't include entries for the analog input pins. That can cause digitalWrite() on those pins to turn off PWM on the wrong pin, because it gets a garbage value from memory that happens to correspond to a timer. We should just extend the array to include all the pins.