correct encoding and trace output