Fix test of dump (still not finished however)