fix another bug caused by kryo serialization