Seeeduino Xiao PWM

I’ve run this software and it changes the duty cycle but not the frequency. The frequency stays at 900 Hz. I’m trying to change it to 20KHz. I’m using pin 7 for the output.