Made slight changes to timer.h