Tick time incorrect in CodeWarrior DEMO

I found the tick time is incorrect in both CodeWarrior DEMO project.
Compare value need to be added to TC0 before enable TFLG1 in file port.c,
in function void interrupt vPortTickInterrupt( void ).
The value that is added on TC0 is based on the system bus frequency.
In my case is 2500 @ 20MHz bus clock.
Anybody has the same experience?

Tick time incorrect in CodeWarrior DEMO

I just looked at the code but don’t understand your comments because I cannot see anything being added to TC0. Can you explain further?

Tick time incorrect in CodeWarrior DEMO

From the code generated by the Processor Expert TickTimer.c, interrupt service routine as below ISR(TickTimer_Interrupt)
{
  TC0 += CmpVal;                       /* Add value corresponding with periode */
  TFLG1 = 1;                           /* Reset interrupt request flag */
  TickTimer_OnInterrupt();             /* Invoke user event */
} CmpVal(in this case = 2500) is added on to TC0 to generate the 1kHz interrupt.
When the vector for TC0 is redirected to vPortTickInterrupt( void ) in port.c file as below,
void interrupt vPortTickInterrupt( void )
{
#if configUSE_PREEMPTION == 1
{
/* A context switch might happen so save the context. */
portSAVE_CONTEXT(); /* Increment the tick … */
vTaskIncrementTick(); /* … then see if the new tick value has necessitated a
context switch. */
vTaskSwitchContext();
               TC0 += 2500;   //  I added the code here
TFLG1 = 1;    /* Restore the context of a task – which may be a different task
to that interrupted. */
portRESTORE_CONTEXT();
}
#else
{
vTaskIncrementTick();
TC0 += 2500;  // I added code here
TFLG1 = 1;
}
     }
#endif
Without the the code I added, the TC0 interrupt will be enabled with TC0 = 0, that is the next ISR will come in when the TC0 counts 0xFFFF cycle, which exceed 1ms period, that was why the tick time appeared longer than it suppose to be.