another serialization problem