bugfix: separator in output for --trace-corrected