fix a bug for dump