Minor changes to serialization