Fix serialization format for times