Fix header in dump-tso