bug fixed in kryo serialization