Fixed a possible syntax error in timer-core