fixed special case bug in util_time