BSP\\TIMER_Capture范例中，Timer0和Timer3的输出频率和手册的不一致是为什么？

各位大大安安,在官方BSP\tiMER_Capture范例中，提到Timer0和Timer3的输出频率各位500Hz和1Hz，但是实际上则是1000Hz和2Hz，这其中是不是有什么误会???，谢谢!
printf("  Timer0: Clock source is 12 MHz; Toggle-output mode and frequency is 500 Hz.\n");
printf("  Timer3: Clock source is 12 MHz; Toggle-output mode and frequency is 1 Hz.\n");
printf("  Timer2: Clock source is HCLK(72 MHz); Continuous counting mode; TCMP is 0xFFFFFF;\n");
printf("       Counter pin enable; Capture pin and capture interrupt enable;\n");
printf("# Generate 500 Hz frequency from TM0 and connect TM0 pin to Timer2 counter pin.\n");
printf("# Generate 1 Hz frequency from TM3 and connect TM3 pin to TM2_EXT capture pin.\n");
printf("# Get 500 event counts from Timer2 counter pin when each TM2_EXT pin interrupt occurred.\n\n");

/* Initial Timer0 and Timer3 default setting */
timer0_freq = TIMER_Open(TIMER0, TIMER_TOGGLE_MODE, 1000);
timer3_freq = TIMER_Open(TIMER3, TIMER_TOGGLE_MODE, 2);

printf("Timer0 frequency = %d\n",timer0_freq);
printf("Timer3 frequency = %d\n",timer3_freq);