tiny bug fix for generating time stamps