From the “Timers” Reference Manual sections for these devices (Example 11-1 and Figure 11-4 in all manuals) we can see that prvSetupTimerInterrupt() in port.c should be changed from:
Multiplicative operators, of which ‘/’ is one, have higher precedence than additive operators, so the added parentheses are unnecessary. However, explicitness is always good in my book, so I say leave them in the way you have it.