fix another little bug about dump/undump