small fix in timer