Make naming of deserialization time consistent