DC to PWM Kit K8004 Resistor R5 1K or 10K

I am building a K8004 kit, DC to PWM
Resistor R5 is listed as 10K (1-0-3-B), the resiistor supplied is 1K (1-0-2-b) which is correct?

Should be 10K.
Probably human error.
Please let us know if we need to mail you a 10K resistor.