Fix some old debug printing