fix dump options