fix bug in db_dump