Minor serialization fix