fixed a bug in dump file