fix kryo serialization