fix debug printing