Fix bug in timestamp-to-string conversion.